Restore missing features (#26)

matthiasgoergens · web-flow · commit 45ef362b7a8c · 2024-11-18T11:54:54.000+08:00
diff --git a/verify_ceno.sh b/verify_ceno.sh
@@ -3,5 +3,5 @@ set -euxo pipefail
 
 cd spartan_parallel
 RUST_BACKTRACE=1 \
-    cargo run --release \
+    cargo run --release --features multicore,profile \
         --example interface -- ceno_demo/tower_verifier
