It's also swamped with output from stdout, despite tests succeeding. Ideally, a test should only state its name and status, unless that status is fail in which case it may include its stdout for inspection. That way, errors stand out, successes fade into the background.
Tests are currently swamped with solver statistics, making it nigh impossible to spot which tests actually ran and what their errors were.
It's also swamped with output from stdout, despite tests succeeding. Ideally, a test should only state its name and status, unless that status is
failin which case it may include its stdout for inspection. That way, errors stand out, successes fade into the background.