fix passed test count more
This commit is contained in:
parent
3e6e158696
commit
b8627907d0
@ -188,7 +188,7 @@ Run ← { 𝕊 testname:
|
|||||||
;@
|
;@
|
||||||
}⍟⊢ o.update
|
}⍟⊢ o.update
|
||||||
skipm ← (×skipped)/∾⟨" (", •Repr skipped, " skipped)"⟩
|
skipm ← (×skipped)/∾⟨" (", •Repr skipped, " skipped)"⟩
|
||||||
ran ← (≠toRun)-skipped
|
ran ← (≠tests)-skipped
|
||||||
{
|
{
|
||||||
0=badCount? •Out filename∾": "∾(•Repr ran)∾" passed!"∾skipm;
|
0=badCount? •Out filename∾": "∾(•Repr ran)∾" passed!"∾skipm;
|
||||||
•Out ∾⟨•Repr ran-badCount, '/', •Repr ran, skipm⟩ ∾ ((¬o.errm)∧×badMessage)/∾⟨"; ", •Repr badMessage, " mismatched error message", (1≠badMessage)/"s"⟩∾skipm
|
•Out ∾⟨•Repr ran-badCount, '/', •Repr ran, skipm⟩ ∾ ((¬o.errm)∧×badMessage)/∾⟨"; ", •Repr badMessage, " mismatched error message", (1≠badMessage)/"s"⟩∾skipm
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user