Commit 84d95b0a authored by Etienne Renault's avatar Etienne Renault

go2pins-mc: fix negation for backends

* boilerplate/main.go: Here.
parent 215569e1
......@@ -425,7 +425,7 @@ func main() {
mcCmd = exec.Command(ltsmin_path(), "--threads", "1",
"--ltl", *ltl, "main.dve2C")
} else if *backend == "spot" || *backend == "" {
mcCmd = exec.Command(spot_path(), "main.dve2C", *ltl)
mcCmd = exec.Command(spot_path(), "main.dve2C", "!"+*ltl)
} else {
panic("backend '" + *backend + "' unknown!")
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment