Add new os examples

2024-02-15 19:24:22 +08:00
parent fb2fc2e6a4
commit 1596770410
9 changed files with 362 additions and 26 deletions
--- a/evaluation_examples/examples/os/c288e301-e626-4b98-a1ab-159dcb162af5.json
+++ b/evaluation_examples/examples/os/c288e301-e626-4b98-a1ab-159dcb162af5.json
@@ -8,7 +8,7 @@
      "os"
    ],
    "evaluator": {
-      "func": "",
+      "func": "infeasible",
      "result": {
      },
      "expected": {