edf-hpc/verrou

Some typos

nicolastd opened this issue · 3 comments

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.

The commit 2c871e7 solve the "reproducibilty" typo. For "andthe" I do not understand the space missing as the space is in the source code.

Thanks for the quick reply.

I just checked the blame and this was previously solved apparently:
26db94c

Thanks.