Update running text to match code change
Forgot to update the description of what was printed on success
when I updated what was printed on success in both the code and the sample
output.
commit056b307e7d740405336981263f987643863cea69
authorJeremy W. Sherman <jeremyw.sherman@gmail.com>
dateSat 8 Aug 2015, 15:10 (11 years ago)
parent118d718
docs/tutorial/testing.rst+1−1
@@ -81,5 +81,5 @@ The testing framework can then be invoked using ``idris --testpkg maths.ipkg``::
8181 Test Passed
8282 Test Passed
8383
84−Note how both tests have reported success by printing a single ``.``
84+Note how both tests have reported success by printing ``Test Passed``
8585as we arranged for with the ``assertEq`` and ``assertNoEq`` functions.