Viewing all changes in revision 230.

Committer: Jiri Srba
Date: 2020-12-17 20:36:18 UTC
mfrom: <a title="Merged From 229.1.1" href="/~verifypn-maintainers/verifypn/u4.0/revision/229.1.1">(229.1.1 verifypn)
Revision ID: srba@cs.aau.dk-20201217203618-fukaf2w9adea2px7

merged in lp:~tapaal-contributor/verifypn/show-reduced-net allows to call the engine with -s Overapprox and -q 0

added added

removed removed

~verifypn-maintainers/verifypn/u4.0