Search results

[QCheck-STM] Make Ortac/QCheck-STM generate tests in parallel

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

qcheck-stm

Status: Open.

#274 In ocaml-gospel/ortac;

· n-osborne opened on Dec 2, 2024

[QCheck-STM] Catch Partial_function in postcond and precond and return false instead

Status: Open.

#273 In ocaml-gospel/ortac;

· n-osborne opened on Nov 13, 2024

[qcheck-STM] Emit a function to shrink cmd 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

[qcheck-stm] Add an optional function for running tests in config module

Status: Open.

#233 In ocaml-gospel/ortac;

· n-osborne opened on May 27, 2024

[qcheck-stm] Make the configuration module legal OCaml

Status: Open.

#232 In ocaml-gospel/ortac;

· n-osborne opened on May 27, 2024

Name collisions between STM and user-provided code

Status: Open.

#231 In ocaml-gospel/ortac;

· shym opened on May 24, 2024

[wrapper] Add support for models

enhancementNew feature or requestNew feature or request

ortac-wrapper

Status: Open.

#224 In ocaml-gospel/ortac;

· n-osborne opened on Apr 18, 2024

[wrapper] Add support for old operator

enhancementNew feature or requestNew feature or request

ortac-wrapper

Status: Open.

#201 In ocaml-gospel/ortac;

· n-osborne opened on Feb 14, 2024

Write documentation for ortac-dune plugin

Status: Open.

#199 In ocaml-gospel/ortac;

· n-osborne opened on Feb 8, 2024