~tapaal-ltl/verifypn/rule-D-fix

Viewing all changes in revision 234.

  • Committer: srba.jiri at gmail
  • Date: 2021-04-27 21:12:16 UTC
  • mfrom: (227.6.20 partitioning)
  • Revision ID: srba.jiri@gmail.com-20210427211216-r5b38pb15xaidgb8
merged in lp:~verifypn-cpn/verifypn/partitioning parsing vehicularWifi and fixing some issues and disabeling partitioning for state-space exploration

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: