From c90bf40a925fb6c29f02be06c05254be06494e43 Mon Sep 17 00:00:00 2001 From: cprudhom Date: Tue, 30 Jan 2024 13:29:28 +0100 Subject: [PATCH] update tests related to #1078 --- parsers/src/test/resources/xcsp/instances.csv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/parsers/src/test/resources/xcsp/instances.csv b/parsers/src/test/resources/xcsp/instances.csv index a941394366..7ee5ceff4b 100644 --- a/parsers/src/test/resources/xcsp/instances.csv +++ b/parsers/src/test/resources/xcsp/instances.csv @@ -41,7 +41,7 @@ basics;MagicSequence-008-co.xml.lzma;1;_;5;1 basics;MagicSquare-4-table.xml.lzma;1;_;20;13 basics;MagicSquare-6-mdd.xml.lzma;1;_;693;662 basics;MagicSquare-6-sum.xml.lzma;1;_;960;928 -basics;Mapping-full2x2_mp3.xml.lzma;4;1100;1815;1722 +basics;Mapping-full2x2_mp3.xml.lzma;4;1100;2479;2391 basics;Mario-easy-4.xml.lzma;4;545;1913;1883 basics;MarketSplit-01.xml.lzma;1;_;1243457;1236746 basics;MSPSP-easy_01.xml.lzma;7;26;248;235