-
Committer:
Jiri Srba
-
Date:
2018-01-23 21:25:13 UTC
-
mfrom:
(196.1.8 verifypn)
-
Revision ID:
srba@cs.aau.dk-20180123212513-nc0c414n0fgso89i
merged in branch lp:~verifypn-stub/verifypn/always_compile
forcing a compilation of negation push for fireability predicates