[Verifpal] panic: runtime error

Nadim Kobeissi nadim at symbolic.software
Fri Dec 18 06:12:56 UTC 2020


Dear Mike,

Thanks for pointing this out. Fixed here:
https://source.symbolic.software/verifpal/verifpal/-/commit/f93d08a691c0bd9e77393958f2f58d5ce82fe314

Nadim Kobeissi
Symbolic Software • https://symbolic.software

> On Dec 15, 2020, at 8:39 AM, Mike via Verifpal <verifpal at lists.symbolic.software> wrote:
> 
> hi,
> 
> This model crashes, easy to fix.
> 
> (mike)
> <gg.vp>
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal



More information about the Verifpal mailing list