Skip to content

Commit d1ba3cb

Browse files
committed
remove other tests
1 parent bc7a0b5 commit d1ba3cb

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

74 files changed

+0
-4513
lines changed

src/array/dune

Lines changed: 0 additions & 29 deletions
This file was deleted.

src/array/lin_tests.ml

Lines changed: 0 additions & 63 deletions
This file was deleted.

src/array/lin_tests_dsl.ml

Lines changed: 0 additions & 33 deletions
This file was deleted.

src/array/stm_tests.ml

Lines changed: 0 additions & 113 deletions
This file was deleted.

src/atomic/dune

Lines changed: 0 additions & 33 deletions
This file was deleted.

src/atomic/lin_tests.ml

Lines changed: 0 additions & 93 deletions
This file was deleted.

src/atomic/lin_tests_dsl.ml

Lines changed: 0 additions & 21 deletions
This file was deleted.

0 commit comments

Comments
 (0)