Provide more statistics when running RAC using prover calls
When using --check-ce
and --rac-prover
for categorizing CEs using a prover for evaluating assertions, the time and steps spent by the prover should be reported somehow.
In particular this could provide information on why so much time is spent on some tests, e.g. bench/check-ce/floats.mlw
.
On that particular example though, it should be investigated whether the time might be spent by mpfr.