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" + ) + )