This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Back to bug 648

Who When What Removed Added
tgunde13 2018-02-28 11:22:04 CET Summary Engine does not detect non-determinism, if edges go to the same location Engine does not detect non-determinism, if edges end in the same location

Back to bug 648