diff --git a/src/cmr/equimodular.c b/src/cmr/equimodular.c index 0e3a2b66..9c85135b 100644 --- a/src/cmr/equimodular.c +++ b/src/cmr/equimodular.c @@ -247,8 +247,6 @@ CMR_ERROR CMRequimodularTestStrong(CMR* cmr, CMR_INTMAT* matrix, bool* pisStrong assert(cmr); assert(matrix); assert(pisStronglyEquimodular); - assert(params); - assert(stats); CMRconsistencyAssert( CMRintmatConsistency(matrix) ); /* If not supplied, we maintain a local gcd determinant variable. */ @@ -282,8 +280,6 @@ CMR_ERROR CMRunimodularTest(CMR* cmr, CMR_INTMAT* matrix, bool* pisUnimodular, C assert(cmr); assert(matrix); assert(pisUnimodular); - assert(params); - assert(stats); CMRconsistencyAssert( CMRintmatConsistency(matrix) ); int64_t gcdDet = 1; @@ -299,8 +295,6 @@ CMR_ERROR CMRunimodularTestStrong(CMR* cmr, CMR_INTMAT* matrix, bool* pisStrongl assert(cmr); assert(matrix); assert(pisStronglyUnimodular); - assert(params); - assert(stats); CMRconsistencyAssert( CMRintmatConsistency(matrix) ); int64_t gcdDet = 1; diff --git a/src/cmr/graphic.c b/src/cmr/graphic.c index fe39c71b..2ba121c6 100644 --- a/src/cmr/graphic.c +++ b/src/cmr/graphic.c @@ -90,7 +90,7 @@ CMR_ERROR CMRcomputeRepresentationMatrix(CMR* cmr, CMR_GRAPH* digraph, bool tern assert(digraph); assert(ptranspose && !*ptranspose); assert(numForestArcs == 0 || forestArcs); - assert(numForestArcs == 0 || coforestArcs); + assert(numCoforestArcs == 0 || coforestArcs); CMRassertStackConsistency(cmr); CMRdbgMsg(0, "Computing %s representation matrix.\n", ternary ? "ternary" : "binary");