| bart | 80e3580 | 2008-03-19 17:02:26 +0000 | [diff] [blame] | 1 | prereq: ./supported_libpthread |
| bart | 0ffa483 | 2008-04-05 12:57:01 +0000 | [diff] [blame] | 2 | vgopts: --trace-mutex=yes --trace-cond=yes --trace-semaphore=yes --var-info=yes --check-stack-var=yes |
| bart | 3b1ee45 | 2008-02-29 19:28:15 +0000 | [diff] [blame] | 3 | prog: tc20_verifywrap |