Skip to content
Snippets Groups Projects
Commit 96074dba authored by erwan's avatar erwan
Browse files

Merge branch '16-portable-echo-into-rdbg' into 'master'

Drive rdbg tests in a more portable way

Closes #16

See merge request !12
parents 84ef167b abd08e30
No related branches found
No related tags found
1 merge request!12Drive rdbg tests in a more portable way
Pipeline #61307 failed
...@@ -20,7 +20,7 @@ lurette: ring.cmxs ring_oracle.lus ...@@ -20,7 +20,7 @@ lurette: ring.cmxs ring_oracle.lus
-oracle "lv6 -2c-exec ring_oracle.lus -n oracle" -oracle "lv6 -2c-exec ring_oracle.lus -n oracle"
rdbg_test: ring.ml rdbg_test: ring.ml
echo "\nnr\nsd\nq\n" | rdbg -o ring.rif -l 10000 -env "$(sasa) -vl 1 ring.dot -cd" printf "\nnr\nsd\nq\n" | rdbg -o ring.rif -l 10000 -env "$(sasa) -vl 1 ring.dot -cd"
rdbg: ring.ml rdbg: ring.ml
rdbg -o ring.rif -l 10000 -env "sasa -vl 1 ring.dot -cd" rdbg -o ring.rif -l 10000 -env "sasa -vl 1 ring.dot -cd"
......
...@@ -35,7 +35,7 @@ rdbg2: g.lut g.ml ...@@ -35,7 +35,7 @@ rdbg2: g.lut g.ml
-sut-nd "lutin g.lut -n dummy" -sut-nd "lutin g.lut -n dummy"
rdbg_test: g.lut g.ml rdbg_test: g.lut g.ml
echo "\nnr\nsd\nq\n" | rdbg -o lurette.rif \ printf "\nnr\nsd\nq\n" | rdbg -o lurette.rif \
-env "$(sasa) g.dot -rif" \ -env "$(sasa) g.dot -rif" \
-sut-nd "lutin g.lut -n dummy" -sut-nd "lutin g.lut -n dummy"
......
...@@ -33,7 +33,7 @@ rdbg2: ring.ml ring.lut ...@@ -33,7 +33,7 @@ rdbg2: ring.ml ring.lut
-sut-nd "lutin ring.lut -n distributed"\ -sut-nd "lutin ring.lut -n distributed"\
rdbg_test: ring.ml rdbg_test: ring.ml
echo "\nnr\nsd\nq\n" | rdbg -o ring.rif -l 10000 -sut "$(sasa) -vl 1 ring.dot -dd" printf "\nnr\nsd\nq\n" | rdbg -o ring.rif -l 10000 -sut "$(sasa) -vl 1 ring.dot -dd"
lurette1: ring.lut ring_oracle.lus lurette1: ring.lut ring_oracle.lus
lurette \ lurette \
......
...@@ -58,7 +58,7 @@ rdbg2: ring.ml ...@@ -58,7 +58,7 @@ rdbg2: ring.ml
rdbg -o unison.rif -sut "sasa ring.dot -custd -rif" rdbg -o unison.rif -sut "sasa ring.dot -custd -rif"
rdbg_test: ring.ml rdbg_test: ring.ml
echo "\nn\ns\nsi 4\nn\nni 3\nq\n" | rdbg -o unison.rif \ printf "\nn\ns\nsi 4\nn\nni 3\nq\n" | rdbg -o unison.rif \
-sut "$(sasa) ring.dot -sd -rif" \ -sut "$(sasa) ring.dot -sd -rif" \
-include ../Makefile.inc -include ../Makefile.inc
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment