Visualize the data flow of a counterexample

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

Visualize the data flow of a counterexample #81

Closed annyanich closed 4 years ago

annyanich commented 4 years ago

Related to #52 , implementation is similar

Where to put the download button? Inside the "Counter example" accordion tab. It should be called "Show data flow" and be located below the text of the CEX. And visible even if the CEX is not expanded.

annyanich commented 4 years ago

Fixed as of b484527acb4608186f64f89f9b92bad274cf6e73