tests: randomize block-height

clar2wasm/src/tools.rs

@@ -316,7 +316,7 @@ pub fn crosscheck_compare_only(snippet: &str) {
     );
 }
 
-/// Advance the block height to `count`, and uses the same TestEnvironment instance
+/// Advance the block height to `count`, and uses identical TestEnvironment copies
 /// to assert the results of a contract snippet running against the compiler and the interpreter.
 pub fn crosscheck_compare_only_advancing_tip(snippet: &str, count: u32) {
     let mut compiler_env = TestEnvironment::new(StacksEpochId::latest(), ClarityVersion::latest());

clar2wasm/tests/wasm-generation/blockinfo.rs

@@ -21,9 +21,9 @@ proptest! {
     #![proptest_config(super::runtime_config())]
 
     #[test]
-    fn crossprop_blockinfo_within_controlled_range(block_height in 1..=STACKS_BLOCK_HEIGHT_LIMIT) {
+    fn crossprop_blockinfo_within_controlled_range(block_height in 1..=STACKS_BLOCK_HEIGHT_LIMIT, tip in 1..=80u32) {
         for info in &BLOCK_INFO {
-            crosscheck_compare_only_advancing_tip(&format!("(get-block-info? {info} u{block_height})"), 80)
+            crosscheck_compare_only_advancing_tip(&format!("(get-block-info? {info} u{block_height})"), tip)
         }
     }
 }
@@ -45,10 +45,10 @@ proptest! {
     #![proptest_config(super::runtime_config())]
 
     # [test]
-    fn crossprop_blockinfo_burnchain_within_controlled_range(block_height in 1..=BURN_BLOCK_HEIGHT_LIMIT) {
+    fn crossprop_blockinfo_burnchain_within_controlled_range(block_height in 1..=BURN_BLOCK_HEIGHT_LIMIT, tip in 1..=80u32) {
         for info in &BURN_BLOCK_INFO {
             crosscheck_compare_only_advancing_tip(
-                &format!("(get-burn-block-info? {info} u{block_height})"), 80
+                &format!("(get-burn-block-info? {info} u{block_height})"), tip
             )
         }
     }