Skip to content
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

minion_rs: preparing for property testing and fuzzing #231

Open
niklasdewally opened this issue Feb 20, 2024 · 0 comments
Open

minion_rs: preparing for property testing and fuzzing #231

niklasdewally opened this issue Feb 20, 2024 · 0 comments
Assignees
Labels
area::solvers/minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. kind::testing Testing and Correctness

Comments

@niklasdewally
Copy link
Contributor

niklasdewally commented Feb 20, 2024

Property testing and fuzzing would both be sensible approaches to checking the type safety and parsing code of minion_rs, as previously discussed in #122.

The aim of this issue is to setup the boilerplate needed to use property tests in minion_rs in the future, and for it to be easily run through a fuzzer for exotic test case generation.

The following crates are useful here:

Both crates contain their own "Arbitrary" traits that are used to generate test cases. However, the same implementation of Arbitrary can be used for both crates using https://github.com/graydon/proptest-arbitrary-interop.

@niklasdewally niklasdewally added area::solvers/minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. kind::testing Testing and Correctness labels Feb 20, 2024
@niklasdewally niklasdewally self-assigned this Feb 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area::solvers/minion Related to minion_rs, the minion C++ bindings, and the minion solver interface. kind::testing Testing and Correctness
Projects
None yet
Development

No branches or pull requests

1 participant