CoVer Flags
| -G | Use global coverage algorithm |
| -M n | Return if |coverage| >= n (maximal coverage are returned otherwise) |
| -K cnf_file | Use config file for printing |
| -t 0 | Make cover save the trace |
| -f file | Save the trace/interaction in "file" |
UPPAAL |
 |
CoVer Flags