restoring rival-profile

herbie-fp · Jan 8, 2025 · 5fe3f68 · 5fe3f68
1 parent 936c72f
commit 5fe3f68
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/eval/main.rkt b/eval/main.rkt
@@ -42,7 +42,7 @@
 
 (define (rival-profile machine param)
   (match param
-    ['instructions (rival-machine-instructions machine)]
+    ['instructions (vector-length (rival-machine-instructions machine))]
     ['iterations (rival-machine-iteration machine)]
     ['bumps (rival-machine-bumps machine)]
     ['executions