Skip to content

[wenv] options: make '!' prefix work as expected

Benjamin Jorge requested to merge 55-prove-option-provers-don-t-work-as-expected into master

Closes #55 (closed)

Merge request reports