-
Notifications
You must be signed in to change notification settings - Fork 0
/
correctness.sh
executable file
·16 lines (11 loc) · 1.17 KB
/
correctness.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#!/bin/bash
# ============================================================================
./star.sh b
# ============================================================================
mkdir -p ../out/correctness
./star.sh r S ../cbscenarios-star/correctness/tgds/dependencies/program.star ../cbscenarios-star/correctness/tgds/data/input.stream ../out/correctness/tgds_s.txt
./star.sh r R ../cbscenarios-star/correctness/tgds/dependencies/program.star ../cbscenarios-star/correctness/tgds/data/input.stream ../out/correctness/tgds_r.txt
./star.sh r S ../cbscenarios-star/correctness/tgds5/dependencies/program.star ../cbscenarios-star/correctness/tgds5/data/input.stream ../out/correctness/tgds5_s.txt
./star.sh r R ../cbscenarios-star/correctness/tgds5/dependencies/program.star ../cbscenarios-star/correctness/tgds5/data/input.stream ../out/correctness/tgds5_r.txt
./star.sh r S ../cbscenarios-star/correctness/weak/dependencies/program.star ../cbscenarios-star/correctness/weak/data/input.stream ../out/correctness/weak_s.txt
./star.sh r R ../cbscenarios-star/correctness/weak/dependencies/program.star ../cbscenarios-star/correctness/weak/data/input.stream ../out/correctness/weak_r.txt