Commit 748f8570 authored by Steffen Michels's avatar Steffen Michels

fix bug in message of passed tests

parent b6da1756
......@@ -211,7 +211,7 @@ where
where
msgStr | nRej == 0 = "success for all arguments"
| otherwise = "success for all non-rejected arguments"
Passed maxArgs nTests nUnd allArgsGenerated -> [msgStr: conclude addWhite 0 nUnd labels]
Passed maxArgs nTests nUnd allArgsGenerated -> [msgStr: conclude addWhite nTests nUnd labels]
where
msgStr | allArgsGenerated = "Passed: success for arguments"
| nTests == 0 = "Passed"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment