Search results

Add multiple <code>Var</code> operations in example <code>CRTest</code>

Status: Open.

#253 In hedgehogqa/scala-hedgehog;

· ronanM opened on Apr 27, 2023

Coverage doesn't appear to be available in state machine testing.

Status: Open.

#192 In hedgehogqa/scala-hedgehog;

· HuwCampbell opened on Feb 26, 2021

someOf/pick utilities

enhancement

Status: Open.

#178 In hedgehogqa/scala-hedgehog;

· dwijnand opened on Aug 25, 2020

Add examples to jlink shrinking challenge

Status: Open.

#176 In hedgehogqa/scala-hedgehog;

· charleso opened on Aug 18, 2020

Statistically verify result (aka verifiedTermination/withConfidence)

Status: Open.

#162 In hedgehogqa/scala-hedgehog;

· dwijnand opened on Jul 15, 2020

Integrate Hedgehog into Scalatest

Status: Open.

#158 In hedgehogqa/scala-hedgehog;

· sageserpent-open opened on Jul 9, 2020

Support properties that return Future[Result]

Status: Open.

#146 In hedgehogqa/scala-hedgehog;

· mpilquist opened on Feb 22, 2020

Apology from maintainer

announcement

Status: Open.

#139 In hedgehogqa/scala-hedgehog;

· charleso opened on Jan 4, 2020

Make logs available for Success

enhancement

Status: Open.

#136 In hedgehogqa/scala-hedgehog;

· steinybot opened on Dec 17, 2019

Make <code>interleave</code> logarithmtic rather than linear

polish

Status: Open.

#104 In hedgehogqa/scala-hedgehog;

· charleso opened on Aug 11, 2019

Combinators for functions in Gen

enhancement

Status: Open.

#90 In hedgehogqa/scala-hedgehog;

· kevin-lee opened on Jul 1, 2019

Fix Gen filter

bug

Status: Open.

#80 In hedgehogqa/scala-hedgehog;

· charleso opened on Apr 28, 2019