-
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