Skip to content
Snippets Groups Projects
Commit 6354de5a authored by erwan's avatar erwan
Browse files

Merge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:verimag/synchrone/sasa

parents ad930d5d 96074dba
No related branches found
No related tags found
No related merge requests found
Pipeline #61929 failed
......@@ -20,7 +20,7 @@ lurette: ring.cmxs ring_oracle.lus
-oracle "lv6 -2c-exec ring_oracle.lus -n oracle"
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 -o ring.rif -l 10000 -env "sasa -vl 1 ring.dot -cd"
......
......@@ -35,7 +35,7 @@ rdbg2: g.lut g.ml
-sut-nd "lutin g.lut -n dummy"
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" \
-sut-nd "lutin g.lut -n dummy"
......
......@@ -33,7 +33,7 @@ rdbg2: ring.ml ring.lut
-sut-nd "lutin ring.lut -n distributed"\
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
lurette \
......
......@@ -58,7 +58,7 @@ rdbg2: ring.ml
rdbg -o unison.rif -sut "sasa ring.dot -custd -rif"
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" \
-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