-
Geoff Lawler authored
the new model checker checks for and rejects a model if it contains a node that links to itself.
4f78351b
Analyzing file…
the new model checker checks for and rejects a model if it contains a node that links to itself.