[CI TEST] fix/testool after 1524-1

.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]

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" }

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)?;