Inspired by @michael-schwarz's rant, this issue is for possible ideas and discussions about improving dune runtest output from #1367.
[x] update_suite: instead of printing every executed test, print a dot (like ounit).
[x] Add prefix to update_suiteNo errors :) indicating the set of tests it's about.
[ ] Investigate all "Excellent: ignored check"-s. Remove TODOonly if passing thanks to analysis improvement. Otherwise improvement is unsound from a bug. #1425
[x] Add prefix to unit test output.
[x] update_suite: quiet output mode (-q?) to print nothing when successful, like cram tests.
Inspired by @michael-schwarz's rant, this issue is for possible ideas and discussions about improving
dune runtest
output from #1367.update_suite
: instead of printing every executed test, print a dot (like ounit).update_suite
No errors :)
indicating the set of tests it's about.Investigate all "Excellent: ignored check"-s. Remove#1425TODO
only if passing thanks to analysis improvement. Otherwise improvement is unsound from a bug.update_suite
: quiet output mode (-q
?) to print nothing when successful, like cram tests.