From b728151f17ed263d9e4c5b29b46c65a22e687968 Mon Sep 17 00:00:00 2001 From: Maxim Vezenov Date: Mon, 6 Jan 2025 15:11:55 -0500 Subject: [PATCH] chore: Move comment as part of #6945 (#6959) --- tooling/nargo_cli/build.rs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/tooling/nargo_cli/build.rs b/tooling/nargo_cli/build.rs index 04cc463f6b3..140575e0209 100644 --- a/tooling/nargo_cli/build.rs +++ b/tooling/nargo_cli/build.rs @@ -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 {{ @@ -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}