Compatibility for SATCheck
authorHamed Gorjiara <hgorjiar@uci.edu>
Mon, 6 May 2019 23:08:37 +0000 (16:08 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Mon, 6 May 2019 23:08:37 +0000 (16:08 -0700)
src/csolver.cc

index 1dfe9eb..81aeb8e 100644 (file)
@@ -264,7 +264,6 @@ Element *CSolver::getElementConst(VarType type, uint64_t value) {
 
 
 Element *CSolver::applyFunction(Function *function, Element **array, uint numArrays, BooleanEdge overflowstatus) {
-       ASSERT(numArrays == 2);
        Element *element = new ElementFunction(function,array,numArrays,overflowstatus);
        Element *e = elemMap.get(element);
        if (e == NULL) {