TAPAAL / verifypn

The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.
GNU General Public License v3.0
7 stars 17 forks source link

Bug fix in PetriNetBuilder regarding direction #154

Closed NicEastvillage closed 11 months ago

NicEastvillage commented 1 year ago

I found this misplaced statement while looking through the PetriNetBuilder, possibly failing an assertion on the direction of arcs.

I ran the tests with run_tests.sh and no answers changed. However, I didn't give any options to the script since I do not know what the direction field is used for, so the test may not have tested anything. Let me know if I should rerun it with some specific options.