Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
7d815a8f
Commit
7d815a8f
authored
May 12, 2010
by
Francois Bobot
Browse files
main : keep the order of the task in 1-1 transformation
parent
8a00b9d3
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/main.ml
View file @
7d815a8f
...
...
@@ -312,12 +312,14 @@ let do_tasks drv fname tname th trans task =
Not_found
->
(
eprintf
"unknown transformation %s.@."
t
;
exit
1
))
::
acc
in
let
transl
=
List
.
fold_left
lookup
[]
(
List
.
rev
trans
)
in
let
transl
=
List
.
fold_left
lookup
[]
trans
in
let
apply
tasks
(
s
,
tr
)
=
try
List
.
fold_left
if
debug
then
Format
.
eprintf
"apply transformation %s@."
s
;
let
l
=
List
.
fold_left
(
fun
acc
task
->
List
.
rev_append
(
Register
.
apply_driver
tr
drv
task
)
acc
)
[]
tasks
List
.
rev_append
(
Register
.
apply_driver
tr
drv
task
)
acc
)
[]
tasks
in
List
.
rev
l
(* In order to keep the order for 1-1 transformation *)
with
e
when
not
debug
->
Format
.
eprintf
"failure in transformation %s@."
s
;
raise
e
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment