Define P18 original relationship preservation code contract

2026-10-13 14:02:05 +09:00
parent 70e76cd073
commit d2a1f80a61
6 changed files with 129 additions and 6 deletions
@@ -0,0 +1,12 @@
+{
+  "p18-model": {
+    "argv": [
+      "{python}",
+      "-B",
+      "tools/run_p18_relationship_tests.py",
+      "--output",
+      "{build_dir}/p18-relationship-evidence"
+    ],
+    "timeout_seconds": 1200
+  }
+}