fix bad merge

herbie-fp · Aug 26, 2024 · 10485f4 · 10485f4
1 parent d832939
commit 10485f4
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/api/sandbox.rkt b/src/api/sandbox.rkt
@@ -348,15 +348,15 @@
   (table-row (test-name test)
              (test-identifier test)
              status
-             (prog->fpcore (test-pre test))
+             (prog->fpcore (test-pre test) (test-context test))
              preprocess
              (representation-name repr)
              '() ; TODO: eliminate field
              (test-vars test)
              (map car (hash-ref result-hash 'warnings))
-             (prog->fpcore (test-input test))
+             (prog->fpcore (test-input test) (test-context test))
              #f
-             (prog->fpcore (test-spec test))
+             (prog->fpcore (test-spec test) (test-context test))
              (test-output test)
              #f
              #f