Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lutin
Commits
336c5f71
Commit
336c5f71
authored
Mar 13, 2020
by
erwan
Browse files
New: add the --luciole-last option to lurette
which was added to rdbg in sha:0c9ef786865a0572c8f789e43defcaf10be180d2
parent
48331295
Changes
1
Hide whitespace changes
Inline
Side-by-side
bin/lurette-nocaml/lurette.ml
View file @
336c5f71
(* Time-stamp: <modified the
19
/0
9
/20
19
(at 1
6
:2
1
) by Erwan Jahier> *)
(* Time-stamp: <modified the
06
/0
2
/20
20
(at 1
7
:2
5
) by Erwan Jahier> *)
(* Mimick the behavior of 'rdbg -lurette', but without the dependency
on ocaml *)
...
...
@@ -84,7 +84,8 @@ let (gen_reactive_program : string -> RdbgArg.reactive_program) =
Dynlink.loadfile cmxs;
Sasa.SasaRun.make (Array.of_list (args@["-rif"]))
*)
|
_
->
StdioRun
.
make
str
|
"sasa"
->
StdioRun
.
make
(
str
^
" -rif"
)
(* don't work without this option *)
|
_
->
StdioRun
.
make
str
in
Ocaml
(
plugin
)
...
...
@@ -98,6 +99,7 @@ let _ =
args
.
envs
<-
env_plugins
;
args
.
oracles
<-
oracle_plugins
;
args
.
luciole_at_the_end
<-
!
luciole_at_the_end
;
args
.
step_nb
<-
!
test_length
;
args
.
display_sim2chro
<-
!
display_sim2chro
;
args
.
display_gnuplot
<-
!
display_gnuplot
;
...
...
@@ -119,11 +121,9 @@ let _ =
(**********************************************************************************)
let
_
=
if
args
.
suts
=
[]
then
(
Printf
.
printf
"
\027
[35m
W
: Please set at least one sut
\027
[00m
\n\n
"
;
if
args
.
suts
=
[]
&&
args
.
envs
=
[]
then
(
Printf
.
printf
"
\027
[35m
E
: Please set at least one sut
or one env
\027
[00m
\n\n
"
;
flush
stdout
;
help
()
)
...
...
Write
Preview
Markdown
is supported
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