Closed LenaSaid closed 1 year ago
Solved issue with batch verifying timed colored nets. The export of the net is not dependent on guiModel anymore.
Solves https://bugs.launchpad.net/tapaal/+bug/2007944.
Solved issue with batch verifying timed colored nets. The export of the net is not dependent on guiModel anymore.
Solves https://bugs.launchpad.net/tapaal/+bug/2007944.