make Bytes test a negative test

jmid · jmid · commit 8fb499f9ccff · 2022-09-01T19:26:26.000+02:00
diff --git a/src/bytes/lin_tests_dsl.ml b/src/bytes/lin_tests_dsl.ml
@@ -33,6 +33,6 @@ module BT = Lin_api.Make(BConf)
 Util.set_ci_printing ()
 ;;
 QCheck_base_runner.run_tests_main [
-  BT.lin_test `Domain ~count:1000 ~name:"Lin_api Bytes test with Domain";
-  BT.lin_test `Thread ~count:1000 ~name:"Lin_api Bytes test with Thread";
+  BT.neg_lin_test `Domain ~count:1000 ~name:"Lin_api Bytes test with Domain";
+  BT.lin_test     `Thread ~count:1000 ~name:"Lin_api Bytes test with Thread";
 ]

Original file line number	Diff line number	Diff line change
`@@ -33,6 +33,6 @@ module BT = Lin_api.Make(BConf)`
`33`	`33`	`Util.set_ci_printing ()`
`34`	`34`	`;;`
`35`	`35`	`QCheck_base_runner.run_tests_main [`
`36`		- BT.lin_test `Domain ~count:1000 ~name:"Lin_api Bytes test with Domain";
`37`		- BT.lin_test `Thread ~count:1000 ~name:"Lin_api Bytes test with Thread";
	`36`	+ BT.neg_lin_test `Domain ~count:1000 ~name:"Lin_api Bytes test with Domain";
	`37`	+ BT.lin_test `Thread ~count:1000 ~name:"Lin_api Bytes test with Thread";
`38`	`38`	`]`