projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Change in the Ata module:
[tatoo.git]
/
src
/
run.ml
diff --git
a/src/run.ml
b/src/run.ml
index
be8bbeb
..
167e0af
100644
(file)
--- a/
src/run.ml
+++ b/
src/run.ml
@@
-236,11
+236,11
@@
struct
let tree = run.tree in
let auto = run.auto in
let states_by_rank = Ata.get_states_by_rank auto in
let tree = run.tree in
let auto = run.auto in
let states_by_rank = Ata.get_states_by_rank auto in
- let td_todo = states_by_rank.(i) in
+ let td_todo = s
nd s
tates_by_rank.(i) in
let bu_todo =
if i == Array.length states_by_rank - 1 then StateSet.empty
else
let bu_todo =
if i == Array.length states_by_rank - 1 then StateSet.empty
else
- s
tates_by_rank.(i+1
)
+ s
nd (states_by_rank.(i+1)
)
in
let last_run = i >= Array.length states_by_rank - 2 in
let rec loop_td_and_bu node parent parent_sat =
in
let last_run = i >= Array.length states_by_rank - 2 in
let rec loop_td_and_bu node parent parent_sat =