Skip to content

Handle assume(false) correctly#629

Merged
olafurpg merged 3 commits intoscalameta:mainfrom mzuehlke:fix_assumeFeb 22, 2023

Commits

Commits on Feb 21, 2023