Make PBT computes_a_fixpoint adjustable #231
Annotations
1 error and 1 warning
|
tests/tasty/InterpretTests.hs#L29
Suggestion in tests in module InterpretTests: Redundant $ ▫︎ Found: "adjustOption (\\ (QuickCheckTests n) -> QuickCheckTests (n * 20))\n $ tests'" ▫︎ Perhaps: "adjustOption\n (\\ (QuickCheckTests n) -> QuickCheckTests (n * 20)) tests'"
|
The logs for this run have expired and are no longer available.
Loading