Log in / Register
TAPAAL
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #1964790
Comment #2
Comment 2 for bug 1964790
Revision history for this message
Jiri Srba (srba)
wrote
on 2022-03-14
:
Re: CPN verification fails
#2
Unfolding of the net also fails.
Unfolding of the net also fails.
Unfolding of the net also fails.