From 95139da3b7b5e71455c7ef145e4badd3b80771e6 Mon Sep 17 00:00:00 2001 From: Michael Date: Tue, 2 Aug 2022 19:42:31 -0400 Subject: [PATCH] Updated bench to use new solveWithTrustedFunctions API --- bench/bench.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bench/bench.jl b/bench/bench.jl index 3f2aee2..aecb93f 100644 --- a/bench/bench.jl +++ b/bench/bench.jl @@ -11,7 +11,7 @@ macro run_bench(name, expr, args...) end @run_bench "Trivial Multiplication Benchmark" begin - solveWithTrustedFunctions("target/division.r1cs", "target/division.sym", "division") + solveWithTrustedFunctions("target/division.r1cs", "division") end