[Verifpal] assert assert

Mike tankf33der at disroot.org
Wed Sep 11 13:46:05 CEST 2019

Previous message (by thread): [Verifpal] assert assert
Next message (by thread): [Verifpal] Verifpal Tutorial at Eurocrypt 2020
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

hi all,

 
> The latest pushes to master (0c7a90df6c and 75ed71ba38) should address the issues you’ve found with
> `should_ok` and `should_fail` respectively.

Patches fixed ASSERTs' issues i didnt sent you.
Issue closed.

(mike)

Previous message (by thread): [Verifpal] assert assert
Next message (by thread): [Verifpal] Verifpal Tutorial at Eurocrypt 2020
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Verifpal mailing list