From b999a816c84918bc7589aa8c4aa5439815dbf449 Mon Sep 17 00:00:00 2001 From: Toine Hartman Date: Wed, 15 Dec 2021 10:03:25 +0100 Subject: [PATCH] Add failing test that showcases unexpected behaviour --- .../src/test/resources/test1/test116.str2 | 21 +++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 stratego.build.spoofax2.integrationtest/src/test/resources/test1/test116.str2 diff --git a/stratego.build.spoofax2.integrationtest/src/test/resources/test1/test116.str2 b/stratego.build.spoofax2.integrationtest/src/test/resources/test1/test116.str2 new file mode 100644 index 000000000..e30ece126 --- /dev/null +++ b/stratego.build.spoofax2.integrationtest/src/test/resources/test1/test116.str2 @@ -0,0 +1,21 @@ +module eq-term-args + +imports strategolib + +strategies + s(|x, x) = !"equal" + s(|x, y) = !"not equal" + + main = + test-suite(!"term args" + , apply-test(s(|1, 1) + | "equal args" + , () + , "equal" + ) + ; apply-test(s(|1, 2) + | "unequal args" + , () + , "not equal" + ) + )