68,70c68,71
< Note: if you're running under Cygwin several tests will fail with an
< "EIO icount mismatch". This is due to the lack of fesetround() under
< Cygwin causing differences in floating-point rounding.
---
> Note: if you're running under Cygwin, several tests will fail with an
> "EIO trace inconsistency: ICNT mismatch" error. This is due to the
> lack of fesetround() under Cygwin causing differences in floating-point
> rounding. Other than that discrepancy your simulator is working perfectly.