Some typos
nicolastd opened this issue · 3 comments
nicolastd commented
I know that this probably not high priority, but here are some minor typos in the following error message:
FAILURE: the comparison between the reference (code instrumented with nearest mode) **andthe** code without instrumentation failed
Suggestions:
1) check if **reproducibilty** discrepancies are larger than the failure criteria of the script
2) check the libm library is not instrumented
see, andthe and reproducibilty.
This is obtained after running verrou_dd_line
.
lathuili commented
The commit 2c871e7 solve the "reproducibilty" typo. For "andthe" I do not understand the space missing as the space is in the source code.
nicolastd commented
Thanks for the quick reply.
I just checked the blame and this was previously solved apparently:
26db94c
lathuili commented
Thanks.