Skip to content
GitLab
Menu
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
724e689c
Commit
724e689c
authored
Mar 29, 2011
by
François Bobot
Browse files
bench : Fix, use not taking into account in rc file since
b33ce30f
parent
05407c77
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/bench/benchrc.ml
View file @
724e689c
...
...
@@ -108,7 +108,7 @@ let use_before_goal th = function
|
_
->
assert
false
let
apply_use_before_goal
(
task
,
goal_id
)
(
th_use
,
th_use_id
)
=
let
task
2
=
use_before_goal
th_use
task
in
let
task
=
use_before_goal
th_use
task
in
let
goal_id
=
match
goal_id
,
th_use_id
with
|
Some
goal_id
,
Some
th_use_id
->
Some
begin
...
...
@@ -116,8 +116,8 @@ let apply_use_before_goal (task,goal_id) (th_use,th_use_id) =
try
Db
.
Htransf
.
find
(
Db
.
transformations
goal_id
)
th_use_id
with
Not_found
->
Db
.
add_transformation
goal_id
th_use_id
in
let
name2
=
(
Task
.
task_goal
task
2
)
.
Decl
.
pr_name
.
Ident
.
id_string
in
let
md5_2
=
BenchUtil
.
task_checksum
task
2
in
let
name2
=
(
Task
.
task_goal
task
)
.
Decl
.
pr_name
.
Ident
.
id_string
in
let
md5_2
=
BenchUtil
.
task_checksum
task
in
try
Mstr
.
find
md5_2
(
Db
.
subgoals
transf
)
with
Not_found
->
Db
.
add_subgoal
transf
name2
md5_2
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a 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