chore: remove usage of main program in integration tests

noir-lang · Nov 27, 2023 · 0c75d16 · 0c75d16
1 parent cca860a
commit 0c75d16
Show file tree

Hide file tree

Showing 7 changed files with 8 additions and 18 deletions.
diff --git a/compiler/integration-tests/circuits/main/Nargo.toml b/compiler/integration-tests/circuits/main/Nargo.toml
diff --git a/compiler/integration-tests/circuits/main/Prover.toml b/compiler/integration-tests/circuits/main/Prover.toml
diff --git a/compiler/integration-tests/circuits/main/src/main.nr b/compiler/integration-tests/circuits/main/src/main.nr
diff --git a/compiler/integration-tests/scripts/codegen-verifiers.sh b/compiler/integration-tests/scripts/codegen-verifiers.sh
@@ -8,13 +8,13 @@ repo_root=$self_path/../../..
 mul_dir=$repo_root/test_programs/execution_success/1_mul
 nargo --program-dir $mul_dir codegen-verifier
 
-# Run codegen-verifier for main
-main_dir=$repo_root/compiler/integration-tests/circuits/main
-nargo --program-dir $main_dir codegen-verifier
+# Run codegen-verifier for assert_statement
+assert_statement_dir=$repo_root/test_programs/execution_success/assert_statement
+nargo --program-dir $assert_statement_dir codegen-verifier
 
 # Copy compiled contracts from the root of compiler/integration-tests
 contracts_dir=$self_path/../contracts
 mkdir $contracts_dir
 
 cp $mul_dir/contract/1_mul/plonk_vk.sol $contracts_dir/1_mul.sol
-cp $main_dir/contract/main/plonk_vk.sol $contracts_dir/main.sol
+cp $assert_statement_dir/contract/assert_statement/plonk_vk.sol $contracts_dir/assert_statement.sol
diff --git a/compiler/integration-tests/test/browser/compile_prove_verify.test.ts b/compiler/integration-tests/test/browser/compile_prove_verify.test.ts
@@ -23,7 +23,7 @@ const test_cases = [
     numPublicInputs: 0,
   },
   {
-    case: 'compiler/integration-tests/circuits/main',
+    case: 'test_programs/execution_success/assert_statement',
     numPublicInputs: 1,
   },
 ];

diff --git a/compiler/integration-tests/test/browser/recursion.test.ts b/compiler/integration-tests/test/browser/recursion.test.ts
@@ -23,7 +23,7 @@ await initACVM();
 compilerLogLevel('INFO');
 
 const base_relative_path = '../../../../..';
-const circuit_main = 'compiler/integration-tests/circuits/main';
+const circuit_main = 'test_programs/execution_success/assert_statement';
 const circuit_recursion = 'compiler/integration-tests/circuits/recursion';
 
 function getCircuit(noirSource: string): CompiledProgram {

diff --git a/compiler/integration-tests/test/node/smart_contract_verifier.test.ts b/compiler/integration-tests/test/node/smart_contract_verifier.test.ts
@@ -18,8 +18,8 @@ const test_cases = [
     numPublicInputs: 0,
   },
   {
-    case: 'compiler/integration-tests/circuits/main',
-    compiled: 'contracts/main.sol:UltraVerifier',
+    case: 'test_programs/execution_success/assert_statement',
+    compiled: 'contracts/assert_statement.sol:UltraVerifier',
     numPublicInputs: 1,
   },
 ];