Add infeasible support

2024-02-14 11:59:50 +08:00
parent 30d3464114
commit 3f59ff46dc
4 changed files with 18 additions and 22 deletions
--- a/evaluation_examples/examples/os/b3d4a89c-53f2-4d6b-8b6a-541fb5d205fa.json
+++ b/evaluation_examples/examples/os/b3d4a89c-53f2-4d6b-8b6a-541fb5d205fa.json
@@ -9,7 +9,7 @@
    "os"
  ],
  "evaluator": {
-    "func": "",
+    "func": "infeasible",
    "result": {
    },
    "expected": {