Franck Pommereau / zinc

Go to a project
Toggle navigation Toggle navigation pinning
Franck Pommereau
602e2054 1 parent 00b10022

fixed two missing bits

Inline Side-by-side
Showing 2 changed files with 1 additions and 1 deletions
......@@ -78,7 +78,7 @@ def main () :
print("%s reachable states" % n)
elif args.mode == "d" and args.size :
_, n = statespace(False, False, False)
print("%s deadlocks")
print("%s deadlocks" % n)
elif args.mode == "g" :
statespace(True, True, False)
elif args.mode in "m" :
......
File mode changed