Decrease the recommended number of max examples for CI

asmeurer · asmeurer · commit d7b457ab0686 · 2023-02-16T19:38:31.000-07:00
diff --git a/README.md b/README.md
@@ -255,7 +255,7 @@ jobs:
 > There are several ways to avoid this problem:
 >
 > - Increase the maximum number of examples, e.g., by adding `--max-examples
->   1000` to the test command (the default is `100`, see below). This will
+>   200` to the test command (the default is `100`, see below). This will
 >   make it more likely that the failing case will be found, but it will also
 >   make the tests take longer to run.
 > - Don't use `-o xfail_strict=True`. This will make it so that if an XFAIL

Original file line number	Diff line number	Diff line change
`@@ -255,7 +255,7 @@ jobs:`
`255`	`255`	`> There are several ways to avoid this problem:`
`256`	`256`	`>`
`257`	`257`	> - Increase the maximum number of examples, e.g., by adding `--max-examples
`258`		-> 1000` to the test command (the default is `100`, see below). This will
	`258`	+> 200` to the test command (the default is `100`, see below). This will
`259`	`259`	`> make it more likely that the failing case will be found, but it will also`
`260`	`260`	`> make the tests take longer to run.`
`261`	`261`	> - Don't use `-o xfail_strict=True`. This will make it so that if an XFAIL