verifypn

1 → 5 of 5 results First • Previous • Next • Last
Critical
New
#1770930 Rename all Error to ERROR in verifypn
verifypn 6
Undecided
New
#1870506 Z3 TAR implementation has wrong answers
verifypn 6
Undecided
New
#1906837 Weird parenthesis added in unfolded query for places
verifypn 6
Undecided
New
#1927726 makePetriNet() very slow for certain nets
verifypn 6
Undecided
New
#1928770 ID of exported PNML model is hardcoded to "ClientsAndServers-PT-N0500P0"
verifypn 6
1 → 5 of 5 results First • Previous • Next • Last
Bug supervisor:
VerifyPN Maintainers