diff --git a/TAP.idr b/TAP.idr index c34cbb0..0ec75b3 100644 --- a/TAP.idr +++ b/TAP.idr @@ -329,7 +329,7 @@ run1' (index, test) = do putOk' Yellow True index "\{test.label} # skip \{reason}" Todo reason => do modify $ \s : Results => {todo $= S} s - putOk' Yellow True index "\{test.label} # todo \{reason}" + putOk' Yellow False index "\{test.label} # todo \{reason}" pure $ toBool res parameters (skipNotes : Bool)