search

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

Seg fault with unfolding optimizations #131

Closed srba closed 1 year ago

srba commented 1 year ago

Run the command below and it gives segfault (if you disable unfolding optimizations, it works fine):

verifypn-osx64 --k-bound 22 --search-strategy BestFS --reduction 1 --ctl-algorithm czero --xml-queries 1 --col-reduction 1 model.xml query.xml

So this call works just fine:

verifypn-osx64 --k-bound 22 --search-strategy BestFS --reduction 1 --ctl-algorithm czero --xml-queries 1 --col-reduction 1 model.xml query.xml --disable-cfp --disable-partitioning --disable-symmetry-vars

Archive.zip