Delyan Angelov 68c3eccec5 v: skip asserts in -prod mode inside non _test.v files		2021-04-13 13:07:57 +03:00
..
.gitignore	…
asserts_should_be_skipped.prod.v	…
asserts_should_be_skipped.prod.v.expected.txt	…
assoc.prod.v	…
assoc.prod.v.expected.txt	…