Skip to content

Testing framework: add `assert` alternatives in the `Test` module

E. Rivas requested to merge er433/test/asserts into dev

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:

New asserting primitives in the Test module

Merge request reports