Adapt crucible-concurrency-golden-tests to 04d7c0b (#929)

Fixes #900.
GaloisInc · Dec 1, 2021 · e611ef3 · e611ef3
1 parent 0bd1eb0
commit e611ef3
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/crucible-concurrency/test/Main.hs b/crucible-concurrency/test/Main.hs
@@ -58,14 +58,17 @@ testSimulator :: FilePath -> FilePath -> IO ()
 testSimulator inFile outFile =
   do contents <- T.readFile inFile
      withFile outFile WriteMode $ \outh ->
-       do let options = (defaultCruxOptions { Crux.inputFiles = [inFile],
-                                              Crux.simVerbose = 0,
+       do let outOpts = (Crux.outputOptions defaultCruxOptions)
+                          { Crux.simVerbose = 0
+                          }
+              options = (defaultCruxOptions { Crux.outputOptions = outOpts,
+                                              Crux.inputFiles = [inFile],
                                               Crux.globalTimeout = Just 600,
                                               Crux.goalTimeout = Just 600,
                                               Crux.solver = "yices",
                                               Crux.checkPathSat = True
                                             },
                          defaultCrucesOptions)
           let ?outputConfig = Crux.mkOutputConfig (outh, False) (outh, False)
-                                Crux.cruxLogMessageToSayWhat $ Just (fst options)
+                                Crux.cruxLogMessageToSayWhat $ Just (Crux.outputOptions (fst options))
           run options