Closed lou1306 closed 5 years ago
We should add a flag that prevents the translator from generating bitvector typedef and force standard C types instead.
Done, use SLiVER with the --no-bv flag
We should add a flag that prevents the translator from generating bitvector typedef and force standard C types instead.