tests: test assert explanation
authorAlexis Laferrière <alexis.laf@xymus.net>
Tue, 1 Aug 2017 17:39:18 +0000 (13:39 -0400)
committerAlexis Laferrière <alexis.laf@xymus.net>
Thu, 28 Sep 2017 15:08:28 +0000 (11:08 -0400)
commit85618c06fa40d3f3e9268bb6c93e09ca2e6ef12d
tree2097a8becfc07187b8da2dc889079df8f979b405
parent3b79c1d1483f02f00ee9e3cbdd1d0537dd66269e
tests: test assert explanation

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
15 files changed:
tests/sav/test_explain_assert.res [new file with mode: 0644]
tests/sav/test_explain_assert_alt1.res [new file with mode: 0644]
tests/sav/test_explain_assert_alt10.res [new file with mode: 0644]
tests/sav/test_explain_assert_alt11.res [new file with mode: 0644]
tests/sav/test_explain_assert_alt12.res [new file with mode: 0644]
tests/sav/test_explain_assert_alt13.res [new file with mode: 0644]
tests/sav/test_explain_assert_alt2.res [new file with mode: 0644]
tests/sav/test_explain_assert_alt3.res [new file with mode: 0644]
tests/sav/test_explain_assert_alt4.res [new file with mode: 0644]
tests/sav/test_explain_assert_alt5.res [new file with mode: 0644]
tests/sav/test_explain_assert_alt6.res [new file with mode: 0644]
tests/sav/test_explain_assert_alt7.res [new file with mode: 0644]
tests/sav/test_explain_assert_alt8.res [new file with mode: 0644]
tests/sav/test_explain_assert_alt9.res [new file with mode: 0644]
tests/test_explain_assert.nit [new file with mode: 0644]