Testing framework: add `assert` alternatives in the `Test` module
type:added
For LIGO developers
Now assert
variants are written in terms of failwith
. But failwith
is using Michelson's FAILWITH
. In the interpreter, instead, we encourage users to use Test.failwith
.
This MR adds primitives for assertions which under the hood use Test.failwith
.
It closes #1470 .
Changelog details: