search

Orbis-Tertius / tinyram-toolchain

Untyped Plutus Core to C compiler (WIP).
2 stars 1 forks source link

Create tests of the compilation pipeline and arithmetization #20

Open morganthomas opened 2 years ago

morganthomas commented 2 years ago

Compile Plutus scripts into TinyRAM object code using the compilation pipeline. Run them on the TinyRAM circuit and verify that the results are as expected.

morganthomas commented 2 years ago

This is an open-ended issue which is not sizable because there is no real limit to the effort we can usefully put into testing different cases here. That said, we can size the effort of doing property testing using UPLC2C term generation. That effort is sized at two days (not including prerequisite Nix efforts).

marcinbugaj commented 2 years ago

@morganthomas, We can not only launch the tests with TinyRAM circuit but also with TinyRAM emulator. Currently all property tests are launched on x86 only. See: https://github.com/Orbis-Tertius/tinyram-toolchain/issues/28