search

emina / rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Other
638 stars 74 forks source link

core: optimizing lifiting #281

Open sorawee opened 6 months ago

sorawee commented 6 months ago

When there is no contract error in any case, there is no need to emit the assertions.