Skip to content

Draft: Tests for Protocol Sapling

Antonio Locascio requested to merge alocascio@sapling-protocol-spec into alocascio@fstar-test-generation

TO BE MERGED AFTER !20

This MR implements and benchmarks tests for the Sapling implementation from the protocol, leveraging on the extracted specification from the ADT Spec. As explained in #23.

Edited by Antonio Locascio

Merge request reports