Merge remote-tracking branch 'origin/v9-minor'

scipopt · Jun 6, 2024 · 50a80c0 · 50a80c0
2 parents 24d0ad4 + 583253c
commit 50a80c0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/src/symmetry/compute.c b/tests/src/symmetry/compute.c
@@ -1122,7 +1122,7 @@ void exampleSOS1(
 
    if( detectsignedperms )
    {
-      cr_assert( nperms == 2 );
+      cr_assert( nperms == 2 || nperms == 3 );
    }
    else
    {
@@ -2430,7 +2430,7 @@ void exampleExpr6(
 
    if ( detectsignedperms )
    {
-      cr_assert( nperms == 4 );
+      cr_assert( nperms == 4 || nperms == 5 );
    }
    else
    {