Commit 0cad5bd5 authored by Etienne Renault's avatar Etienne Renault

go2pins-mc: change default display

* main.go: Here.
parent b9248987
......@@ -576,10 +576,10 @@ func main() {
copyFile(from, to, data)
}
fmt.Println("Preprocessing done.\n\nTo display the state space of you program, follows the instructions below")
fmt.Println("Preprocessing done.\n\nTo display statistics about the state space of you program, follows the instructions below")
fmt.Println(" cd", *output)
fmt.Println(" make")
fmt.Println(" ./go2pins-mc -display")
fmt.Println(" ./go2pins-mc -kripke-size")
fmt.Println("\nDisplay all available options (including LTL verification) with the following instruction:")
fmt.Println(" ./go2pins-mc -help")
......
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