nodestack: print thread status info in Node::print
[model-checker.git] / test /
drwxr-xr-x   ..
-rw-r--r-- 427 Makefile
-rw-r--r-- 701 condvar.cc
-rw-r--r-- 716 deadlock.cc
-rwxr-xr-x 1222 double-read-fv.c
-rw-r--r-- 1395 double-relseq.c
-rw-r--r-- 954 fences.c
-rw-r--r-- 920 fences2.c
-rw-r--r-- 2729 linuxrwlocks.c
drwxr-xr-x - litmus
-rw-r--r-- 599 mutextest.cc
-rw-r--r-- 1378 pending-release.c
-rw-r--r-- 1082 releaseseq.c
-rw-r--r-- 736 rmw2prog.c
-rw-r--r-- 507 rmwprog.c
-rw-r--r-- 816 thinair.c
-rw-r--r-- 1126 uninit.cc
-rw-r--r-- 757 userprog.c
-rw-r--r-- 2103 wrc.c
-rw-r--r-- 2103 wrcs.c