Test example programs with witness data

BlockstreamResearch / simfony

Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.

26 stars 9 forks source link

Test example programs with witness data #9

Closed uncomputable closed 2 months ago

uncomputable commented 7 months ago

Currently we test only a handful of programs a constant 20 for every witness node. We should write witness files for each program and include all programs in the unit test.

uncomputable commented 2 months ago

Resolved in #63