File tree Expand file tree Collapse file tree 2 files changed +0
-4
lines changed Expand file tree Collapse file tree 2 files changed +0
-4
lines changed Original file line number Diff line number Diff line change @@ -13,7 +13,6 @@ depends: [
1313 "dune" {>= "3.0"}
1414 "lockfree" { >= "0.2.0"}
1515 "mirage-clock-unix" {with-test}
16- "ppx_deriving" {with-test & >= "5.2.1"}
1716 "qcheck-core" {with-test & >= "0.20"}
1817 "qcheck-multicoretests-util" {with-test & >= "0.1"}
1918 "qcheck-stm" {with-test & >= "0.1"}
Original file line number Diff line number Diff line change 117117 (name task_one_dep)
118118 (modules task_one_dep)
119119 (libraries qcheck-multicoretests-util qcheck-core qcheck-core.runner domainslib)
120- (preprocess (pps ppx_deriving.show))
121120 (action (run %{test} --verbose)))
122121
123122(test
124123 (name task_more_deps)
125124 (modules task_more_deps)
126125 (libraries qcheck-multicoretests-util qcheck-core qcheck-core.runner domainslib)
127- (preprocess (pps ppx_deriving.show))
128126 (action (run %{test} --verbose)))
129127
130128(test
139137 (name chan_stm_tests)
140138 (modules chan_stm_tests)
141139 (libraries qcheck-stm.sequential qcheck-stm.domain domainslib)
142- (preprocess (pps ppx_deriving.show))
143140 (action (run %{test} --verbose)))
You can’t perform that action at this time.
0 commit comments