-
Committer:
srba.jiri at gmail
-
Date:
2021-06-06 19:34:37 UTC
-
mfrom:
(239.1.1 answer-for-gui)
-
Revision ID:
srba.jiri@gmail.com-20210606193437-ukm797qo2e8z51u0
merged in lp:~tapaal-ltl/verifypn/answer-for-gui printing the verification answer in text for the GUI