projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Assign each predicate's initial weight ad 100. Remove some unused function and data...
[c11tester.git]
/
predicate.cc
diff --git
a/predicate.cc
b/predicate.cc
index 22fb0c7e8f8172d8cbf4963970c4edd7b5d85d3c..44f5e8d1844f55ec8e860a5118a6c780b5914d07 100644
(file)
--- a/
predicate.cc
+++ b/
predicate.cc
@@
-8,7
+8,7
@@
Predicate::Predicate(FuncInst * func_inst, bool is_entry, bool is_exit) :
exit_predicate(is_exit),
does_write(false),
depth(0),
- weight(0),
+ weight(
10
0),
exploration_count(0),
store_visible_count(0),
total_checking_count(0),