Adds some tests for racket/htdp#228, racket/htdp#229 and racket/htdp#230 #689
Conversation
Somehow `-e`/`--check-stderr` does not work with `tests/drracket/module-lang-test` (perhaps due to using `test-log` + `exit 0` in `fire-up-drracket-and-run-tests`?)
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
In tests/drracket/module-lang-test, stderr goes through a pipe to be checked for the absence of error messages. Therefore, sleep for 0.1s before existing to let the background thread pipe the messages to terminal.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
shhyou
changed the title
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as outdated.
This comment was marked as outdated.
Sorry, something went wrong.
This comment was marked as resolved.
This comment was marked as resolved.
Sorry, something went wrong.
* Request errortrace to annotate check-* thunks
* Fix the format string of check-within errors.
When reporting "not given an inexact number" in check-within, the given
value has to be formatted with ~s since it could have been a string:
(check-within (sqrt 2) 3/2 "0.1")
* Fix check-random error message so check-randoms don't report
themselves as check-expect anymore.
* Revise check-expect error messages
+ Refer to "the second argument" in the messages
+ Remove the fix suggestion per the comment <#228 (comment)>
See tests/drracket/module-lang-tests for the tests (racket/drracket#689).
This PR adds some tests for racket/htdp#228, racket/htdp#229 and racket/htdp#230.