def test_streaming_output_failure() -> None:
results = CheckResults([CheckResult(18, "stdout", "stderr")],
checker_name="typechecker")
assert results.level() == LogLevel.ERROR
assert results.message() == dedent("""\
typechecker failed (exit code 18).
stdout
stderr
""")
def test_streaming_output_success() -> None:
results = CheckResults([CheckResult(0, "stdout", "stderr")],
checker_name="typechecker")
assert results.level() == LogLevel.INFO
assert results.message() == dedent("""\
typechecker succeeded.
stdout
stderr
""")
def test_streaming_output_partitions() -> None:
results = CheckResults(
[
CheckResult(21, "", "", partition_description="ghc8.1"),
CheckResult(0, "stdout", "stderr", partition_description="ghc9.2"),
],
checker_name="typechecker",
)
assert results.level() == LogLevel.ERROR
assert results.message() == dedent("""\
typechecker failed (exit code 21).
Partition #1 - ghc8.1:
Partition #2 - ghc9.2:
stdout
stderr
""")
def test_streaming_output_skip() -> None:
results = CheckResults([], checker_name="typechecker")
assert results.level() == LogLevel.DEBUG
assert results.message() == "typechecker skipped."