diff --git a/src/resp2/test/dune b/src/resp2/test/dune index 933db654..b2ace9d3 100644 --- a/src/resp2/test/dune +++ b/src/resp2/test/dune @@ -1,3 +1,4 @@ (tests (names t) + (locks /ctest) (libraries qcheck containers containers.resp2 threads unix))