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
271d002c
Commit
271d002c
authored
Jul 24, 2020
by
erwan
Browse files
Update: propage the API change done in rdbg 1.189.3
parent
0586efba
Pipeline
#47437
passed with stages
in 5 minutes and 18 seconds
Changes
3
Pipelines
2
Hide whitespace changes
Inline
Side-by-side
.gitlab-ci.yml
View file @
271d002c
image
:
ocaml/opam2:ubuntu
image
:
ocaml/opam2:ubuntu
-18.04
variables
:
GIT_STRATEGY
:
clone
...
...
bin/lurette-nocaml/lurette.ml
View file @
271d002c
(* Time-stamp: <modified the
16
/0
3
/2020 (at 1
1:43
) by Erwan Jahier> *)
(* Time-stamp: <modified the
23
/0
7
/2020 (at 1
5:27
) by Erwan Jahier> *)
(* Mimick the behavior of 'rdbg -lurette', but without the dependency
on ocaml *)
...
...
@@ -99,13 +99,14 @@ let _ =
args
.
envs
<-
env_plugins
;
args
.
oracles
<-
oracle_plugins
;
args
.
luciole
_at_the_end
<-
!
luciole
_at_the_end
;
args
.
missing_vars
_at_the_end
<-
!
missing_vars
_at_the_end
;
args
.
step_nb
<-
!
test_length
;
args
.
display_sim2chro
<-
!
display_sim2chro
;
args
.
display_gnuplot
<-
!
display_gnuplot
;
args
.
verbose
<-
if
!
verbose
then
1
else
0
;
args
.
output
<-
!
output_file
;
args
.
output
<-
!
output_file
;
args
.
luciole_mode
<-
!
luciole_mode
;
args
.
overwrite_output
<-
!
overwrite_output
;
args
.
stop_on_oracle_error
<-
not
!
dont_stop_on_oracle_error
;
args
.
log
<-
!
log
;
...
...
examples/call-luciole/Makefile
View file @
271d002c
...
...
@@ -13,7 +13,7 @@ $(EXPDIR):
test.rif
:
rm
-f
test.rif .lurette_rc
export
GCC
=
"/usr/bin/gcc -fPIC"
$(LURETTE)
--test-length
2
--output
test.rif0
&&
\
$(LURETTE)
--luciole
--test-length
2
--output
test.rif0
&&
\
grep
-v
"lurette chronogram"
test.rif0 |
\
grep
-v
"Version"
|
grep
-v
"#seed "
|
\
grep
-v
"The execution lasted"
|
sed
-e
"s/^M//"
>
test.rif
...
...
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