projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove the uses of inst_act_maps
[c11tester.git]
/
predicate.cc
diff --git
a/predicate.cc
b/predicate.cc
index 44f5e8d1844f55ec8e860a5118a6c780b5914d07..86bc30edf76651a813e09672f815f5c03d3946c2 100644
(file)
--- a/
predicate.cc
+++ b/
predicate.cc
@@
-100,8
+100,9
@@
Predicate * Predicate::follow_write_child(FuncInst * inst)
}
/* Evaluate predicate expressions against the given inst_act_map */
}
/* Evaluate predicate expressions against the given inst_act_map */
-ConcretePredicate * Predicate::evaluate(
inst_act_map_t * inst_act_map,
thread_id_t tid)
+ConcretePredicate * Predicate::evaluate(thread_id_t tid)
{
{
+ /*
ConcretePredicate * concrete = new ConcretePredicate(tid);
PredExprSetIter * it = pred_expressions.iterator();
ConcretePredicate * concrete = new ConcretePredicate(tid);
PredExprSetIter * it = pred_expressions.iterator();
@@
-130,6
+131,7
@@
ConcretePredicate * Predicate::evaluate(inst_act_map_t * inst_act_map, thread_id
}
delete it;
}
delete it;
+ */
return concrete;
}
return concrete;
}