Jason Evans d0e93ada51 Add witness_assert_depth[_to_rank](). ...

This makes it possible to make lock state assertions about precisely
which locks are held.

2017-02-01 16:43:46 -08:00

..

include/test

Replace tabs following #define with spaces.

2017-01-20 21:45:53 -08:00

integration

Replace tabs following #define with spaces.

2017-01-20 21:45:53 -08:00

src

Replace tabs following #define with spaces.

2017-01-20 21:45:53 -08:00

stress

Remove extraneous parens around return arguments.

2017-01-20 21:43:07 -08:00

unit

Add witness_assert_depth[_to_rank]().

2017-02-01 16:43:46 -08:00

test.sh.in

Streamline test output.

2013-12-12 14:58:26 -08:00