Viewing all changes in revision 1168.
- Committer: Jiri Srba
- Date: 2022-02-10 10:37:24 UTC
- mfrom: (1167.1.1 fixTAPNdi-39)
- Revision ID: srba.jiri@gmail.com-20220210103724-pxpgh3wk3kqao5dc
merged in lp:~tapaal-contributor/tapaal/foxTAPNdi-39 fixing problem with passing inclusion places to verifytapn engine
- files modified:
- src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java
expand all
collapse all
added
removed
