-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathrunall_unsafe
executable file
·21 lines (21 loc) · 3.7 KB
/
runall_unsafe
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
./drift.exe -file tests/effects/unsafe/all-ev-pos.ml -prop tests/effects/unsafe/all-ev-pos.yml.prp -ev-trans direct -trace-len 0 -if-part false -out 2 -domain Polka_ls -thold true
./drift.exe -file tests/effects/unsafe/auction.ml -prop tests/effects/unsafe/auction.yml.prp -ev-trans direct -trace-len 1 -if-part false -out 2 -domain Polka_ls -thold true
./drift.exe -file tests/effects/unsafe/binomial_heap.ml -prop tests/effects/unsafe/binomial_heap.yml.prp -ev-trans direct -trace-len 0 -if-part false -out 2 -domain Polka_ls -thold true
./drift.exe -file tests/effects/unsafe/depend.ml -prop tests/effects/unsafe/depend.yml.prp -ev-trans direct -trace-len 1 -if-part true -out 2 -domain Polka_ls -thold true
./drift.exe -file tests/effects/unsafe/disj.ml -prop tests/effects/unsafe/disj.yml.prp -ev-trans direct -trace-len 0 -if-part false -out 2 -domain PolkaGrid -thold false
./drift.exe -file tests/effects/unsafe/disj-gte.ml -prop tests/effects/unsafe/disj-gte.yml.prp -ev-trans direct -trace-len 1 -if-part false -out 2 -domain Polka_ls -thold true
./drift.exe -file tests/effects/unsafe/higher-order.ml -prop tests/effects/unsafe/higher-order.yml.prp -ev-trans direct -trace-len 0 -if-part false -out 2 -domain Polka_ls -thold true
./drift.exe -file tests/effects/unsafe/last-ev-even.ml -prop tests/effects/unsafe/last-ev-even.yml.prp -ev-trans direct -trace-len 1 -if-part true -out 2 -domain PolkaGrid -thold false
./drift.exe -file tests/effects/unsafe/lics18-amortized.ml -prop tests/effects/unsafe/lics18-amortized.yml.prp -ev-trans direct -trace-len 1 -if-part false -out 2 -domain Polka_ls -thold true
./drift.exe -file tests/effects/unsafe/lics18-hoshrink.ml -prop tests/effects/unsafe/lics18-hoshrink.yml.prp -ev-trans direct -trace-len 0 -if-part false -out 2 -domain Oct -thold true
./drift.exe -file tests/effects/unsafe/lics18-web.ml -prop tests/effects/unsafe/lics18-web.yml.prp -ev-trans direct -trace-len 0 -if-part false -out 2 -domain Polka_ls -thold true
./drift.exe -file tests/effects/unsafe/market.ml -prop tests/effects/unsafe/market.yml.prp -ev-trans direct -trace-len 0 -if-part false -out 2 -domain Polka_st -thold true
./drift.exe -file tests/effects/unsafe/max-min.ml -prop tests/effects/unsafe/max-min.yml.prp -ev-trans direct -trace-len 1 -if-part true -out 2 -domain Polka_ls -thold true
./drift.exe -file tests/effects/unsafe/monotonic.ml -prop tests/effects/unsafe/monotonic.yml.prp -ev-trans direct -trace-len 1 -if-part false -out 2 -domain Polka_ls -thold true
./drift.exe -file tests/effects/unsafe/order-irrel.ml -prop tests/effects/unsafe/order-irrel.yml.prp -ev-trans direct -trace-len 1 -if-part true -out 2 -domain PolkaGrid -thold false
./drift.exe -file tests/effects/unsafe/overview1.ml -prop tests/effects/unsafe/overview1.yml.prp -ev-trans direct -trace-len 0 -if-part false -out 2 -domain Polka_ls -thold true
./drift.exe -file tests/effects/unsafe/reentr.ml -prop tests/effects/unsafe/reentr.yml.prp -ev-trans direct -trace-len 1 -if-part false -out 2 -domain Polka_ls -thold true
./drift.exe -file tests/effects/unsafe/resource-analysis.ml -prop tests/effects/unsafe/resource-analysis.yml.prp -ev-trans direct -trace-len 1 -if-part false -out 2 -domain Polka_ls -thold true
./drift.exe -file tests/effects/unsafe/sum-appendix.ml -prop tests/effects/unsafe/sum-appendix.yml.prp -ev-trans direct -trace-len 1 -if-part true -out 2 -domain Polka_ls -thold true
./drift.exe -file tests/effects/unsafe/sum-of-ev-even.ml -prop tests/effects/unsafe/sum-of-ev-even.yml.prp -ev-trans direct -trace-len 0 -if-part false -out 2 -domain PolkaGrid -thold false
./drift.exe -file tests/effects/unsafe/temperature.ml -prop tests/effects/unsafe/temperature.yml.prp -ev-trans direct -trace-len 1 -if-part false -out 2 -domain PolkaGrid -thold false