1.23
2.0
main
test-branch
| Line | |
|---|
| 1 | CIVL=civl
|
|---|
| 2 | VERIFY=$(CIVL) verify
|
|---|
| 3 |
|
|---|
| 4 | all: arrayloops bug1 bug1fix bug3 bug4 bug4fix bug5 bug6 bug6fix\
|
|---|
| 5 | condvar detached dotprod_mutex fib_bench_false join mpithreads_threads
|
|---|
| 6 |
|
|---|
| 7 | arrayloops: arrayloops.cvl
|
|---|
| 8 | $(VERIFY) arrayloops.cvl -inputNTHREADS=4 -inputARRAYSIZE=1000000
|
|---|
| 9 |
|
|---|
| 10 | bug1: bug1.cvl
|
|---|
| 11 | $(VERIFY) bug1.cvl -inputNUM_THREADS=6 -inputTCOUNT=10 -inputCOUNT_LIMIT=12
|
|---|
| 12 | $(CIVL) replay bug1.cvl
|
|---|
| 13 |
|
|---|
| 14 | bug1fix: bug1fix.cvl
|
|---|
| 15 | $(VERIFY) bug1fix.cvl -inputNUM_THREADS=6 -inputTCOUNT=10 -inputCOUNT_LIMIT=12
|
|---|
| 16 |
|
|---|
| 17 | bug3: bug3.cvl
|
|---|
| 18 | $(VERIFY) bug3.cvl -INPUTNUM_THREADS=8
|
|---|
| 19 | $(CIVL) replay bug3.cvl
|
|---|
| 20 |
|
|---|
| 21 | bug4: bug4.cvl
|
|---|
| 22 | $(VERIFY) bug4.cvl -inputNUM_THREADS=3 -inputITERATIONS=10 -inputTHRESHOLD=12
|
|---|
| 23 | $(CIVL) replay bug4.cvl
|
|---|
| 24 |
|
|---|
| 25 | bug4fix: bug4fix.cvl
|
|---|
| 26 | $(VERIFY) bug4fix.cvl -inputNUM_THREADS=3 -inputITERATIONS=10 -inputTHRESHOLD=12
|
|---|
| 27 |
|
|---|
| 28 | bug5: bug5.cvl
|
|---|
| 29 | $(VERIFY) bug5fix.cvl -inputNUM_THREADS=5
|
|---|
| 30 | $(CIVL) replay bug5.cvl
|
|---|
| 31 |
|
|---|
| 32 | bug6: bug6.cvl
|
|---|
| 33 | $(VERIFY) bug6.cvl -inputNUM_THRDS=5 -inputVECLEN=1000
|
|---|
| 34 | $(CIVL) replay bug6.cvl
|
|---|
| 35 |
|
|---|
| 36 | bug6fix: bug6fix.cvl
|
|---|
| 37 | $(VERIFY) bug6fix.cvl -inputNUM_THRDS=5 -inputVECLEN=1000
|
|---|
| 38 |
|
|---|
| 39 | condvar: condvar.cvl
|
|---|
| 40 | $(VERIFY) condvar.cvl -inputNUM_THREADS=3 -inputTCOUNT=10 -inputCOUNT_LIMIT=12
|
|---|
| 41 |
|
|---|
| 42 | detached: detached.cvl
|
|---|
| 43 | $(VERIFY) detached.cvl -inputNUM_THREADS=4
|
|---|
| 44 |
|
|---|
| 45 | dotprod_mutex: dotprod_mutex.cvl
|
|---|
| 46 | $(VERIFY) dotprod_mutex.cvl -inputNUMTHRDS=4 -inputVECLEN=100000
|
|---|
| 47 |
|
|---|
| 48 | fib_bench_false: fib_bench_false.cvl
|
|---|
| 49 | $(VERIFY) fib_bench_false.cvl -inputNUM=5
|
|---|
| 50 | $(CIVL) replay fib_bench_false.cvl
|
|---|
| 51 |
|
|---|
| 52 | join: join.cvl
|
|---|
| 53 | $(VERIFY) join.cvl -inputNUM_THREADS=4
|
|---|
| 54 |
|
|---|
| 55 | mpithreads_threads: mpithreads_threads.cvl
|
|---|
| 56 | $(VERIFY) mpithreads_threads.cvl -inputMAXTHRDS=8 -inputVECLEN=100
|
|---|
| 57 |
|
|---|
| 58 | twostage_3_false: twostage_3_false.cvl
|
|---|
| 59 | $(VERIFY) twostage_3_false.cvl
|
|---|
| 60 | $(CIVL) replay twostate_3_false.cvl
|
|---|
| 61 |
|
|---|
| 62 | clean:
|
|---|
| 63 | rm -rf CIVLREP *~
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
