search

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

SYNT: Hide exception when clicking solve and there is no strategy #94

Open mgieseking opened 4 years ago

mgieseking commented 4 years ago

do a try and catch around calling the function when hitting solve. To prevent printing this in the right tab: Failure reason: uniolunisaar.adam.exceptions.synthesis.pgwt.NoStrategyExistentException: No deadlock-avoiding winning strategy of the system players is existent!

So catch NoStrategyExistentException and print only the message. (is there then a problem for the job view ? Because it would think there would be s.th. to load?)

mgieseking commented 4 years ago

The same problem exists for the item Analyze-> 2-Player Strategy

mgieseking commented 4 years ago

Or in general whenever an exception is thrown it is not so nice to see the internal structure. This looks like some unintended behaviour has happend.