Commit 6c3d7b9a authored by Etienne Renault's avatar Etienne Renault
Browse files

boileerplate: output csv for Spot

* boilerplate/main.go: Here.
parent 3fb96300
......@@ -450,11 +450,13 @@ func main() {
if *nb_threads == 1 {
mcCmd = exec.Command(spot_path(), "-e",
"--model", maindve2C,
"--csv",
"--formula", "!"+*ltl)
} else { // Use parallel algorithms
mcCmd = exec.Command(spot_path(), "-e",
"--model", maindve2C,
"--formula", "!"+*ltl,
"--csv",
"--parallel", strconv.Itoa(*nb_threads))
}
}
......
Supports Markdown
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