Skip to content

test: check Sym invariants in the vcgen tests - #16308

Closed
sgraf812 wants to merge 1 commit into
leanprover:masterfrom
sgraf812:sg/vcgen-tests-sym-debug
Closed

sgraf812 wants to merge 1 commit into
leanprover:masterfrom
sgraf812:sg/vcgen-tests-sym-debug

test: check `Sym` invariants in the `vcgen` tests

da61ae3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view