nadim at symbolic.software
Wed Sep 11 20:55:11 CEST 2019
Oh, looks like we're not doing internal rewrites. Thanks a lot Mike, fixing
Symbolic Software • https://symbolic.software
Sent from office
On Wed, Sep 11, 2019 at 8:41 PM Mike via Verifpal
<verifpal at lists.symbolic.software> wrote:
> hi all,
> 0. I've checked *all* functions itself.
> Now I'm checking the kernel by combinations. No crypto, no protocols.
> Since you *handle* a lot of things already findings real bug(s) is like
> pure art.
> 1. Files attached (enc.vp, aead.vp) shows kernel understands functions
> inside functions as expected.
> 2. If replace line by next two lines inside "principal B" in file fail.vp
> last ASSERT() will not fail.
> Verifpal mailing list
> Verifpal at lists.symbolic.software
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Verifpal