[Verifpal] Verifpal 0.6.8

Mike tankf33der at disroot.org
Tue Sep 17 21:09:19 CEST 2019

hi all,

> Verifpal 0.6.8 is now available.

FYI, I've found regression like behavior.
As you can see in attached file messages and comments say how it *was* in older versions.
Now 0.6.8 cant understand "A -> B: e" anymore.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: c.vp
Type: application/octet-stream
Size: 345 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20190917/9732c2e6/attachment.obj>

More information about the Verifpal mailing list