Verify --clarity_version flag takes effect for clarity-cli check

Author: moodmosaic

stackslib/src/clarity_cli.rs

@@ -2394,4 +2394,93 @@ mod test {
                 })
         );
     }
+
+    #[test]
+    fn test_check_clarity3_contract_passes_with_clarity3_flag() {
+        // Arrange
+        let clar_path = format!(
+            "/tmp/version-flag-c3-allow-{}.clar",
+            rand::thread_rng().gen::<i32>()
+        );
+        fs::write(
+            &clar_path,
+            // Valid only in Clarity 3.
+            r#"
+(define-read-only (get-tenure-info (h uint))
+  (ok
+    {
+      tenure-time: (get-tenure-info? time h),
+      tenure-miner-address: (get-tenure-info? miner-address h),
+    })
+)
+"#,
+        )
+        .unwrap();
+
+        // Act
+        let invoked = invoke_command(
+            "test",
+            &[
+                "check".to_string(),
+                clar_path,
+                "--clarity_version".to_string(),
+                "clarity3".to_string(),
+            ],
+        );
+
+        // Assert
+        let exit_code = invoked.0;
+        let result_json = invoked.1.unwrap();
+        assert_eq!(
+            exit_code, 0,
+            "expected check to pass under Clarity 3, got: {}",
+            result_json
+        );
+        assert_eq!(result_json["message"], "Checks passed.");
+    }
+
+    #[test]
+    fn test_check_clarity3_contract_fails_with_clarity2_flag() {
+        // Arrange
+        let clar_path = format!(
+            "/tmp/version-flag-c2-reject-{}.clar",
+            rand::thread_rng().gen::<i32>()
+        );
+        fs::write(
+            &clar_path,
+            // Valid only in Clarity 3, should fail in 2.
+            r#"
+(define-read-only (get-tenure-info (h uint))
+  (ok
+    {
+      tenure-time: (get-tenure-info? time h),
+      tenure-miner-address: (get-tenure-info? miner-address h),
+    })
+)
+"#,
+        )
+        .unwrap();
+
+        // Act
+        let invoked = invoke_command(
+            "test",
+            &[
+                "check".to_string(),
+                clar_path,
+                "--clarity_version".to_string(),
+                "clarity2".to_string(),
+            ],
+        );
+
+        // Assert
+        let exit_code = invoked.0;
+        let result_json = invoked.1.unwrap();
+        assert_eq!(
+            exit_code, 1,
+            "expected check to fail under Clarity 2, got: {}",
+            result_json
+        );
+        assert_eq!(result_json["message"], "Checks failed.");
+        assert!(result_json["error"]["analysis"] != json!(null));
+    }
 }