Search results

[QCheck-STM] Lift limitation about SUT-returning functions in domain mode

Status: Open.

#356 In ocaml-gospel/ortac;

· n-osborne opened on Sep 8, 2025

[QCheck-STM] Allow for user defined frequencies in generated <code>arb_gen</code>

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

qcheck-stm

Status: Open.

Feature

#347 In ocaml-gospel/ortac;

· n-osborne opened on Jul 18, 2025

[Wrapper] Add optional config file to separate models and real user's implementation

ortac-wrapper

Status: Open.

Feature

#321 In ocaml-gospel/ortac;

· Lucccyo opened on Jun 11, 2025

[Wrapper] Warning for unmatched projection functions

ortac-wrapper

Status: Open.

Feature

#319 In ocaml-gospel/ortac;

· Lucccyo opened on Jun 11, 2025

[QCheck-STM] Stop asking for the <code>init_sut</code> value

enhancementNew feature or requestNew feature or request

qcheck-stm

Status: Open.

#312 In ocaml-gospel/ortac;

· n-osborne opened on May 26, 2025

[QCheck-STM] Allow users to provide their custom <code>arb_cmd</code>

enhancementNew feature or requestNew feature or request

qcheck-stm

Status: Open.

#311 In ocaml-gospel/ortac;

· n-osborne opened on May 26, 2025

runtime: suggestion for a more efficient implementation of sequences

Status: Open.

Feature

#309 In ocaml-gospel/ortac;

· backtracking opened on May 20, 2025

[qcheck-stm] Type error for function arguments with integers

Status: Open.

#304 In ocaml-gospel/ortac;

· nikolaushuber opened on May 7, 2025

[qcheck-STM] Emit a function to shrink <code>cmd</code> arguments

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

qcheck-stm

Status: Open.

#269 In ocaml-gospel/ortac;

· jmid opened on Oct 24, 2024

[QCheck-STM] Improve heuristic for create/init function call generation

Status: Open.

#267 In ocaml-gospel/ortac;

· n-osborne opened on Oct 11, 2024

Incomplete computation warning on inbuilt return types

Status: Open.

#260 In ocaml-gospel/ortac;

· nikolaushuber opened on Oct 1, 2024

Add tests for generated code behaviour

Status: Open.

#252 In ocaml-gospel/ortac;

· n-osborne opened on Sep 10, 2024