.

5ea6c7e8 · Kirill Smelkov · f1facaf5 · 5ea6c7e8
Commit 5ea6c7e8 authored Feb 15, 2022 by Kirill Smelkov
Show whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Route_tlc_allgraphs.py Route_tlc_allgraphs.py +1 -1

No files found.
--- a/Route_tlc_allgraphs.py
+++ b/Route_tlc_allgraphs.py
@@ -111,7 +111,7 @@ def TLCRoute(G):
    writefile("Route.cfg", cfg)
-    check_call(["./tlc", "-deadlock", "Route.tla"])
+    check_call(["./tlc", "-workers", "auto", "-deadlock", "Route.tla"])