11 lines
432 B
Bash
Executable File
11 lines
432 B
Bash
Executable File
#!/bin/sh
|
|
|
|
tst_dir=tst
|
|
filenames="01-main 02-switch 03-equity 11-join 12-join-main 21-create-many 22-create-many-recursive 23-create-many-once 31-switch-many 32-switch-many-join 33-switch-many-cascade 51-fibonacci 61-mutex 62-mutex 71-preemption 81-deadlock"
|
|
mkdir -p "${tst_dir}"
|
|
|
|
for filename in ${filenames}
|
|
do
|
|
curl -o "${tst_dir}/${filename}.c" "https://goglin.gitlabpages.inria.fr/enseirb-it202/tests/${filename}.c" &
|
|
done
|