Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* proof: add more tests to tree reconstruction from proof Signed-off-by: Ignacio Hagopian <[email protected]> * proof: add extra test and fix lints Signed-off-by: Ignacio Hagopian <[email protected]> * proof: test simplification Signed-off-by: Ignacio Hagopian <[email protected]> * fixes Signed-off-by: Ignacio Hagopian <[email protected]> * readd tests Signed-off-by: Ignacio Hagopian <[email protected]> --------- Signed-off-by: Ignacio Hagopian <[email protected]>
- Loading branch information