projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fix norris bugs
[model-checker.git]
/
nodestack.h
diff --git
a/nodestack.h
b/nodestack.h
index 1dfccfcb7b9cc268d7cfab5b3aada4df8205b4d7..10331c2ef59ccb00046ad62c3e40439543a1288d 100644
(file)
--- a/
nodestack.h
+++ b/
nodestack.h
@@
-53,7
+53,7
@@
struct fairness_info {
*/
class Node {
public:
*/
class Node {
public:
- Node(ModelAction *act = NULL, Node *par = NULL, int nthreads =
1
, Node *prevfairness = NULL);
+ Node(ModelAction *act = NULL, Node *par = NULL, int nthreads =
2
, Node *prevfairness = NULL);
~Node();
/* return true = thread choice has already been explored */
bool has_been_explored(thread_id_t tid);
~Node();
/* return true = thread choice has already been explored */
bool has_been_explored(thread_id_t tid);