projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix MC_Equals to handle NODEP MCIDs.
[satcheck.git]
/
mcexecution.cc
diff --git
a/mcexecution.cc
b/mcexecution.cc
index 65df7ce8218a6f74d2d416f2316ae7742204809c..d986f517ae751336a97434f06b2c329a9b5567b8 100644
(file)
--- a/
mcexecution.cc
+++ b/
mcexecution.cc
@@
-654,6
+654,15
@@
uint64_t MCExecution::equals(MCID op1, uint64_t val1, MCID op2, uint64_t val2, M
recordFunctionChange(record, 0);
recordFunctionChange(record, 1);
}
recordFunctionChange(record, 0);
recordFunctionChange(record, 1);
}
+
+ if(op1 == MCID_NODEP) {
+ record->getSet(VC_BASEINDEX + 0)->add(val1);
+ }
+
+ if(op2 == MCID_NODEP) {
+ record->getSet(VC_BASEINDEX + 1)->add(val2);
+ }
+
MCID eqmcid=getNextMCID();
ASSERT(EPList->size()==eqmcid);
EPList->push_back(epvalue);
MCID eqmcid=getNextMCID();
ASSERT(EPList->size()==eqmcid);
EPList->push_back(epvalue);