Search results

Differences from proptest-state-machine

Status: Open.

#7 In readysettech/proptest-stateful;

· hamiltop opened on Aug 30, 2023

Improve shrinking algorithm to try removing multiple operations at once

enhancementNew feature or requestNew feature or request

Status: Open.

#6 In readysettech/proptest-stateful;

· nickelization opened on Jun 28, 2023

Figure out if there's a reasonable way to shrink operations themselves

enhancementNew feature or requestNew feature or request

Status: Open.

#5 In readysettech/proptest-stateful;

· nickelization opened on Jun 28, 2023

Add additional testing

enhancementNew feature or requestNew feature or request

Status: Open.

#4 In readysettech/proptest-stateful;

· nickelization opened on Jun 28, 2023

Add default function implementations for the ModelState trait

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#3 In readysettech/proptest-stateful;

· nickelization opened on Jun 28, 2023

Implement non-async version of proptest-stateful

enhancementNew feature or requestNew feature or request

Status: Open.

#2 In readysettech/proptest-stateful;

· nickelization opened on Jun 28, 2023

Create a Default impl for ProptestStatefulConfig

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#1 In readysettech/proptest-stateful;

· nickelization opened on Jun 28, 2023