search

emina / rosette

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

Bitwuzla converts 1-bit bitvectors to bools (similar to what boolector does) #267

Closed gussmith23 closed 11 months ago

gussmith23 commented 11 months ago

There is code to handle this in the boolector code; I will just copy it over to the bitwuzla code. However, there should be tests for this!

gussmith23 commented 11 months ago

Oh wait, nevermind, I think I'm wrong about this!