Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Some typos #45

Closed
nicolastd opened this issue Mar 29, 2024 · 3 comments
Closed

Some typos #45

nicolastd opened this issue Mar 29, 2024 · 3 comments

Comments

@nicolastd
Copy link

nicolastd commented Mar 29, 2024

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
Copy link
Contributor

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
Copy link
Author

Thanks for the quick reply.

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

@lathuili
Copy link
Contributor

Thanks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants