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
verimag
synchrone
lutin
Commits
35dea30a
Commit
35dea30a
authored
Feb 09, 2016
by
Erwan Jahier
Browse files
Fix the rdbg/lurette mode divergence of the random generator.
parent
b854552c
Changes
2
Hide whitespace changes
Inline
Side-by-side
lutin/src/lutExe.ml
View file @
35dea30a
...
...
@@ -825,8 +825,8 @@ let rec genpath
(** Constraint: ~same but solve the conjunction first *)
|
TE_constraint
(
ae
,
si
)
->
(
try
let
new_acc
=
add_to_guard
it
data
ae
acc
si
in
MainArg
.
event_incr
it
.
arg_opt
;
(* try *)
let
new_acc
=
add_to_guard
it
data
ae
acc
si
in
MainArg
.
event_incr
it
.
arg_opt
;
(* sat ou usat*)
cont
.
doit
(
Goto
(
new_acc
,
TE_eps
))
with
LocalDeadlock
->
...
...
lutin/src/version.ml
View file @
35dea30a
let
str
=
"1.57"
let
sha
=
"
a919ca6
"
let
sha
=
"
b854552
"
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