MC: Delete formula when loading a different net

adamtool / webinterface

The web interface for the tool Adam (AdamMC and AdamSYNT) providing an intuitive, visual definition of Petri nets with transits and Petri games, and an interactive interface to the algorithms of AdamMC and AdamSYNT. Contains the repos (as submodules): libs, framework, logics, modelchecking, examples, synthesizer, high-level, webinterface-backend.

http://adam.informatik.uni-oldenburg.de:4567/

GNU General Public License v3.0

5 stars 2 forks source link

MC: Delete formula when loading a different net #73

Closed mgieseking closed 4 years ago

mgieseking commented 4 years ago

When creating a new Petri net with transits or loading in new one the formula is not checked again if it only contains nodes of the net. The best it to delete the formula field or at least check it new.

annyanich commented 4 years ago

This one accidentally was commented out for a little while, I just fixed it in 0d64c163d66f14f5b8d84058b6380acae8ddaf3c