Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Makefile | 3049 | logstatsplain |
-rw-r--r-- | README | 1450 | logstatsplain |
-rw-r--r-- | guard_b.c | 4566 | logstatsplain |
-rw-r--r-- | guard_b.exp | 34 | logstatsplain |
-rw-r--r-- | guard_s.pl | 2255 | logstatsplain |
-rw-r--r-- | hello_b.c | 257 | logstatsplain |
-rw-r--r-- | hello_d.c | 669 | logstatsplain |
-rw-r--r-- | hello_d.exp | 12 | logstatsplain |
-rw-r--r-- | hello_s.c | 873 | logstatsplain |
-rw-r--r-- | join_leak_d.c | 3072 | logstatsplain |
-rw-r--r-- | join_leak_d.exp | 20 | logstatsplain |
-rw-r--r-- | mutex_d.c | 42906 | logstatsplain |
-rw-r--r-- | mutex_d.exp | 14266 | logstatsplain |
-rw-r--r-- | propagate_s.pl | 2537 | logstatsplain |
-rw-r--r-- | sem_d.c | 3612 | logstatsplain |
-rw-r--r-- | sem_d.exp | 300 | logstatsplain |
-rw-r--r-- | sigsuspend_d.c | 7979 | logstatsplain |
-rw-r--r-- | sigsuspend_d.exp | 344 | logstatsplain |
-rw-r--r-- | sigwait_d.c | 8853 | logstatsplain |
-rw-r--r-- | sigwait_d.exp | 258 | logstatsplain |
-rw-r--r-- | verify | 11242 | logstatsplain |