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.

Sign up for GitHub

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

Jump to bottom

diff expected vs generated output #17

Closed

pdawyndt opened this issue Aug 1, 2019 · 0 comments

Labels

feature migrated

Milestone

Contributor

pdawyndt commented Aug 1, 2019

show diffed version of generated output if it differs from the expected output (and no runtime-error has been issued)

Original issue by @pdawyndt on Sun Apr 17 2016 at 11:21.
Closed by @pdawyndt on Sun Apr 17 2016 at 11:21.

dodona-server added enhancement migrated labels

pdawyndt closed this as completed

bmesuere added feature and removed enhancement labels

dodona-server modified the milestone: 0.1

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment