seed

SMT-COMP · May 30, 2024 · 9ec3f8e · 9ec3f8e
1 parent abed841
commit 9ec3f8e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/submissions/yices2.json b/submissions/yices2.json
@@ -130,5 +130,6 @@
                        "QF_UFNRA"],
             "command": ["./yices_smt2"]
         }
-    ]
+    ],
+    "seed": 0
 }