diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0887779a97..56307e94ab 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -76,6 +76,11 @@ jobs: with: command: test args: --verbose --release --all --all-features --exclude integration-tests --exclude circuit-benchmarks serial_ -- --ignored --test-threads 1 + - name: Run testool internal tests + uses: actions-rs/cargo@v1 + with: + command: test + args: --release --manifest-path testool/Cargo.toml build: needs: [skip_check] diff --git a/testool/Cargo.toml b/testool/Cargo.toml index c842bc2543..e6fa131569 100644 --- a/testool/Cargo.toml +++ b/testool/Cargo.toml @@ -29,7 +29,7 @@ strum_macros = "0.24" thiserror = "1.0" toml = "0.5" yaml-rust = "0.4.5" -zkevm-circuits = { path="../zkevm-circuits", features=["test-util"] } +zkevm-circuits = { path="../zkevm-circuits", features=["test-util", "test-circuits"] } rand_chacha = "0.3" rand = "0.8" halo2_proofs = { git = "https://github.com/privacy-scaling-explorations/halo2.git", tag = "v2023_04_20" } diff --git a/testool/src/compiler.rs b/testool/src/compiler.rs index b40f8ecb0d..a4a0185e95 100644 --- a/testool/src/compiler.rs +++ b/testool/src/compiler.rs @@ -291,7 +291,14 @@ impl Compiler { let compiler_input = CompilerInput::new_default(language, src); let stdout = Self::exec( - &["run", "-i", "--rm", "solc", "--standard-json", "-"], + &[ + "run", + "-i", + "--rm", + "ethereum/solc:stable", + "--standard-json", + "-", + ], serde_json::to_string(&compiler_input).unwrap().as_str(), )?; let mut compilation_result: CompilationResult = serde_json::from_str(&stdout)?;