We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Clean up code thoroughly toward the stable release 0.6.x. It would be the last opportunity to do so wildly.
The text was updated successfully, but these errors were encountered:
Issue-#28: Move Theories runner to a package under 'experimentals'
e97fabf
Issue-#29: Enhance unit test to improve coverage. And fix a bug in expectation evaluation logic found by the enhanced tests.
Issue-#28: WIP
4c15dbe
Issue-#28: Rename classes and packages for consistency's sake.
088c52c
Classes: XyzTupleGenerator -> XyzCAEngine XyzConstraintManager -> Constraint @TupleGeneration -> @GenerateWith Packages: generators -> caengines constraintmanagers -> constraints methods: constraint -> checker
3269a0e
Classes: XyzTupleGenerator -> XyzCAEngine XyzConstraintManager -> XyzConstraint @TupleGeneration -> @GenerateWith Packages: generators -> caengines constraintmanagers -> constraints methods: constraint -> checker
Issue-#28: FSM and CA generation refactoring
dfa782a
dakusui
No branches or pull requests
Clean up code thoroughly toward the stable release 0.6.x.
It would be the last opportunity to do so wildly.
The text was updated successfully, but these errors were encountered: