-
Notifications
You must be signed in to change notification settings - Fork 10
Issues: ocaml-gospel/ortac
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
[qcheck-STM] Emit a function to shrink New feature or request
good first issue
Good for newcomers
qcheck-stm
cmd arguments
enhancement
#269
opened Oct 24, 2024 by
jmid
[QCheck-STM] Improve heuristic for create/init function call generation
#267
opened Oct 11, 2024 by
n-osborne
[qcheck-stm] Add an optional function for running tests in config module
#233
opened May 27, 2024 by
n-osborne
[wrapper] Add support for models
enhancement
New feature or request
ortac-wrapper
#224
opened Apr 18, 2024 by
n-osborne
Enable test of function without any sut as argument
qcheck-stm
#182
opened Nov 20, 2023 by
n-osborne
Add warning flags to command-line
good first issue
Good for newcomers
qcheck-stm
#151
opened Oct 3, 2023 by
n-osborne
Add support for Good for newcomers
qcheck-stm
qcheck-stm.domain to qcheck-stm plugin
good first issue
#119
opened Sep 6, 2023 by
n-osborne
Filter models type to forbid non purely functional values
qcheck-stm
#107
opened Jul 18, 2023 by
n-osborne
[ortac-monolith] declare abstract type when it is an alias for a core_type
bug
Something isn't working
#84
opened May 2, 2023 by
n-osborne
[ortac-monolith] generation of Something isn't working
Monolith.spec for function arguments that are not core_type is broken
bug
#83
opened May 2, 2023 by
n-osborne
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.