Skip to content

Fix error in Tree.ProveConsistency argument checks, and add tests

Niels Möller requested to merge fix-argcheck-tree-ProveConsistency into main

Before this fix, calling ProveConsistency with m == 0 triggers an "internal error" panic.

Merge request reports