projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
nodestack: print extra backtracking info
[model-checker.git]
/
nodestack.h
diff --git
a/nodestack.h
b/nodestack.h
index 44d739c9e9d752565fe76b67b4b49dce4cf778d9..f6d3e4e36be07a0ffa0feec975181faacd283f4f 100644
(file)
--- a/
nodestack.h
+++ b/
nodestack.h
@@
-63,7
+63,7
@@
public:
/* return true = backtrack set is empty */
bool backtrack_empty() const;
/* return true = backtrack set is empty */
bool backtrack_empty() const;
- void explore_child(ModelAction *act, enabled_type_t *
is_enabled);
+ void explore_child(ModelAction *act, enabled_type_t *is_enabled);
/* return false = thread was already in backtrack */
bool set_backtrack(thread_id_t id);
thread_id_t get_next_backtrack();
/* return false = thread was already in backtrack */
bool set_backtrack(thread_id_t id);
thread_id_t get_next_backtrack();