diff --git a/src/test/java/cz/cuni/mff/d3s/trupple/PointersTest.java b/src/test/java/cz/cuni/mff/d3s/trupple/PointersTest.java index d4223a0..c186885 100644 --- a/src/test/java/cz/cuni/mff/d3s/trupple/PointersTest.java +++ b/src/test/java/cz/cuni/mff/d3s/trupple/PointersTest.java @@ -155,4 +155,25 @@ public void linkedListWithReverseOutputTest() { testWithInput(code, "lemmiF sivarT", "Travis Fimmel", true); } + @Test + public void modOnPointer() { + String code = "program main;\n"+ + "\n"+ + "type pnode = ^node;\n"+ + "node = record\n"+ + " previous: pnode;\n"+ + " value: integer;\n"+ + "end;\n"+ + "function filterAndAdd(root: pnode; number: integer): boolean;\n" + + "var d: integer;\n"+ + "begin\n"+ + " d := number mod f^.n;\n"+ + " filterAndAdd := d = 0;\n"+ + "end;\n"+ + "begin\n" + + "end."; + + testWithInput(code, "lemmiF sivarT", "", true); + } + }