[klee-dev] question on klee-stats options

Hi all! Currently I am trying to understand what particular KLEE execution statistics are important for me to know and I am struggling to understand what some of the options mean. I haven't managed to find a more detailed description on those, so could you please elaborate on the meaning of

[klee-dev] KLEE floating-point support

I currently have the https://github.com/srg-imperial/klee-float patch along with some FP intrinsics supported here: https://github.com/qrort/klee . You have mentioned that you'd be happy to discuss the possibilities of this to be