From 8e45c1f3bc7fd6c305d4f778abbef6a7313d8d82 Mon Sep 17 00:00:00 2001 From: nick_battle Date: Mon, 23 Oct 2023 09:53:37 +0100 Subject: [PATCH] Fix POG test for maximal --- vdmj/src/test/java/com/fujitsu/vdmj/junit/PogTest.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/vdmj/src/test/java/com/fujitsu/vdmj/junit/PogTest.java b/vdmj/src/test/java/com/fujitsu/vdmj/junit/PogTest.java index f1979e732..8b4d7b57e 100644 --- a/vdmj/src/test/java/com/fujitsu/vdmj/junit/PogTest.java +++ b/vdmj/src/test/java/com/fujitsu/vdmj/junit/PogTest.java @@ -65,7 +65,7 @@ protected void tearDown() throws Exception private String[] expected = { - /* 1 */ "(forall a:seq of nat1 &\n is_(inv_T2(a), bool))\n", + /* 1 */ "(forall a:T2 &\n is_(inv_T2(a), bool))\n", /* 2 */ "exists a : seq of nat1 & (a <> [])\n", /* 3 */ "forall m1, m2 in set {{1 |-> 2}, {2 |-> 3}} & forall d3 in set dom m1, d4 in set dom m2 & d3 = d4 => m1(d3) = m2(d4)\n", /* 4 */ "After instance variable initializers (iv < 10)\n",