Skip to content

Commit

Permalink
chore: Move comment as part of #6945 (#6959)
Browse files Browse the repository at this point in the history
  • Loading branch information
vezenovm authored and Rumata888 committed Jan 8, 2025
1 parent 38c89f4 commit b728151
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions tooling/nargo_cli/build.rs
Original file line number Diff line number Diff line change
Expand Up @@ -188,6 +188,7 @@ fn test_{test_name}(force_brillig: ForceBrillig, inliner_aggressiveness: Inliner
nargo.arg("--program-dir").arg(test_program_dir);
nargo.arg("{test_command}").arg("--force");
nargo.arg("--inliner-aggressiveness").arg(inliner_aggressiveness.0.to_string());
// Check whether the test case is non-deterministic
nargo.arg("--check-non-determinism");
if force_brillig.0 {{
Expand All @@ -196,8 +197,6 @@ fn test_{test_name}(force_brillig: ForceBrillig, inliner_aggressiveness: Inliner
// Set the maximum increase so that part of the optimization is exercised (it might fail).
nargo.arg("--max-bytecode-increase-percent");
nargo.arg("50");
// Check whether the test case is non-deterministic
}}
{test_content}
Expand Down

0 comments on commit b728151

Please sign in to comment.