SYNT: corner cases - Githubissues

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: corner cases #95

Closed mgieseking closed 4 years ago

mgieseking commented 4 years ago

ein environment place p0 (ohne token) führt zu "java.lang.ArrayIndexOutOfBoundsException: Index 0 out of bounds for length 0". Wenn ich einen Sys Place draus mache geht alles, wenn ich wieder zu einem Env Place mache, gibt es folgenden Fehler: Failure reason: net.sf.javabdd.BDDException
Für nur eine Transition ohne flow gibt es KEINE strategie? Für einen env platz mit token und einer transition (ohne Flow) gibt es eine Strategie
systemplatz mit token und transition ohne flow liefert als strategie den platz un zweimal (?) die transition

mgieseking commented 4 years ago

ArrayIndexOutOfBoundsException fixed in cc4d3f0. The "net.sf.javabdd.BDDException" seems to be a problem due to the web interface. Do we have a problem with the bdd factory that it is not reinitialized when we change the net? Related to #101

mgieseking commented 4 years ago

I cannot reproduce the second item. Both are giving strategies.

mgieseking commented 4 years ago

The third item was the problem that it was added by the normal strategy and by the type-2 strategy. This is now fixed in c0b13fa of the synthesizer repository.

mgieseking commented 4 years ago

All problems seem not to be existing anymore.