Use the old script to measure time
[c11concurrency-benchmarks.git] / cdschecker_modified_benchmarks /
drwxr-xr-x   ..
-rw-r--r-- 246 Makefile
drwxr-xr-x - barrier
-rw-r--r-- 154 benchmarks.mk
drwxr-xr-x - chase-lev-deque
drwxr-xr-x - dekker-fences
drwxr-xr-x - include
drwxr-xr-x - linuxrwlocks
drwxr-xr-x - mcs-lock
drwxr-xr-x - mpmc-queue
drwxr-xr-x - ms-queue-tsan11
drwxr-xr-x - ms-queue
drwxr-xr-x - spsc-queue
-rwxr-xr-x 1447 test.sh
-rwxr-xr-x 221 test_all.sh