Add PARALLEL_PROOF_LIMIT to base_env

jfldde · jfldde · commit 5c1a0d5563bf · 2024-11-05T16:58:00.000Z
diff --git a/src/config/test_case.rs b/src/config/test_case.rs
@@ -15,7 +15,7 @@ pub struct TestCaseEnv {
 impl TestCaseEnv {
     // Base env that should apply to every test cases
     fn base_env() -> Vec<(&'static str, &'static str)> {
-        vec![("NO_COLOR", "1")]
+        vec![("NO_COLOR", "1"), ("PARALLEL_PROOF_LIMIT", "1")]
     }
 
     fn test_env(&self) -> Vec<(&'static str, &'static str)> {

Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,7 @@ pub struct TestCaseEnv {`
`15`	`15`	`impl TestCaseEnv {`
`16`	`16`	`// Base env that should apply to every test cases`
`17`	`17`	`fn base_env() -> Vec<(&'static str, &'static str)> {`
`18`		`- vec![("NO_COLOR", "1")]`
	`18`	`+ vec![("NO_COLOR", "1"), ("PARALLEL_PROOF_LIMIT", "1")]`
`19`	`19`	`}`
`20`	`20`
`21`	`21`	`fn test_env(&self) -> Vec<(&'static str, &'static str)> {`