search

rems-project / isla

Symbolic execution tool for Sail ISA specifications
Other
61 stars 10 forks source link

Generate uninterpreted functions relations in smt #37

Closed bensimner closed 3 years ago

bensimner commented 3 years ago

This allows us to construct the relations from the z3 model during graph generation