fix test

siftech · Nov 10, 2023 · 4fb1c5f · 4fb1c5f
1 parent d1e890a
commit 4fb1c5f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/resources/cached/068cef77-839d-49be-9191-3502ee6d5240.json b/resources/cached/068cef77-839d-49be-9191-3502ee6d5240.json
@@ -361,7 +361,6 @@
             "num_steps": 2,
             "step_size": 1,
             "num_initial_boxes": 1,
-            "save_smtlib": "my.smt2",
             "dreal_precision": 0.001,
             "dreal_log_level": "off",
             "constraint_noise": 0.0,

diff --git a/test/test_plot_parameter_space.py b/test/test_plot_parameter_space.py
@@ -1,3 +1,4 @@
+import json
 import os
 import unittest
 
@@ -24,7 +25,9 @@ def test_plot(self):
         for job in jobs:
             results_file = os.path.join(RESOURCES, "cached", f"{job}.json")
             with open(results_file, "r") as f:
-                results: FunmanResults = FunmanResults.model_validate(f)
+                results: FunmanResults = FunmanResults.model_validate(
+                    json.load(f)
+                )
                 ParameterSpacePlotter(
                     results.parameter_space, plot_points=True
                 ).plot(show=False)