compiles

TomWambsgans · TomWambsgans · commit 01fc8411729f · 2025-12-11T19:17:53.000+01:00
diff --git a/crates/lean_compiler/tests/test_compiler.rs b/crates/lean_compiler/tests/test_compiler.rs
@@ -48,7 +48,7 @@ fn test_wrong_n_returned_vars_1() {
         return 0;
     }
     "#;
-    compile_and_run(program.to_string(), (&[], &[]), DEFAULT_NO_VEC_RUNTIME_MEMORY, false);
+    compile_and_run(program.to_string(), (&[], &[]), false);
 }
 
 #[test]
@@ -63,7 +63,7 @@ fn test_wrong_n_returned_vars_2() {
         return 0, 1;
     }
     "#;
-    compile_and_run(program.to_string(), (&[], &[]), DEFAULT_NO_VEC_RUNTIME_MEMORY, false);
+    compile_and_run(program.to_string(), (&[], &[]), false);
 }
 
 #[test]

Original file line number	Diff line number	Diff line change
`@@ -48,7 +48,7 @@ fn test_wrong_n_returned_vars_1() {`
`48`	`48`	`return 0;`
`49`	`49`	`}`
`50`	`50`	`"#;`
`51`		`- compile_and_run(program.to_string(), (&[], &[]), DEFAULT_NO_VEC_RUNTIME_MEMORY, false);`
	`51`	`+ compile_and_run(program.to_string(), (&[], &[]), false);`
`52`	`52`	`}`
`53`	`53`
`54`	`54`	`#[test]`
`@@ -63,7 +63,7 @@ fn test_wrong_n_returned_vars_2() {`
`63`	`63`	`return 0, 1;`
`64`	`64`	`}`
`65`	`65`	`"#;`
`66`		`- compile_and_run(program.to_string(), (&[], &[]), DEFAULT_NO_VEC_RUNTIME_MEMORY, false);`
	`66`	`+ compile_and_run(program.to_string(), (&[], &[]), false);`
`67`	`67`	`}`
`68`	`68`
`69`	`69`	`#[test]`