[Verifpal] panic: runtime error

Mike tankf33der at disroot.org
Tue Dec 15 08:39:12 CET 2020


hi,

This model crashes, easy to fix.

(mike)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gg.vp
Type: application/octet-stream
Size: 175 bytes
Desc: not available
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20201215/f1e63c85/attachment.obj>


More information about the Verifpal mailing list