Skip to content

Testing framework: add int64 support

E. Rivasrequested to merge
er433/test/int64 into dev

type:internal

For LIGO developers

This is a proof of concept adding int64 support for the testing framework in order to port pure-splitmix implementation.

This MR also implements C_TEST_ABS, C_TEST_SLICE and C_TEST_INT, variants of the Michelson instructions that are directly interpreted by our interpreter (without having to reduce to Michelson and use Michelson's interpreter).

Results

On this branch, ported pure-splitmix, and written Quickcheck's basic primitives (gen monad, basic generators, run, PBT module) on top of it. There are still things to tune, but so far results show that this is slower than current support for PBT module, although it seems usable.

Changelog details:

Edited by E. Rivas

Merge request reports