View Source Makina Changelog
legend
Legend
[+]
Added for new features[-]
Removed for now removed features[C]
Changed for changes in existing functionality[F]
Fixed for any bug fixes[O]
Obsolete for soon-to-be removed features[T]
Technical change that doesn't affect the API (eg. refactoring, tooling, etc.)
next-release
Next release
0-2-2
0.2.2
- [T] Documentation improved.
0-2-1
0.2.1
- [+] Initial public release of Makina. Supported constructions:
- State
- attribute names
- initial values
- types
- invariants
- Command
- argument names
- types
- pre (precondition)
- arg (argument generators)
- valid args (precondition used during shrinking)
- call (the call to system under test)
- next (calculates the next state of the model)
- post (postcondition that compares the system under test result with the model)
- Composition
- Extension (inheritance)
- Parallel composition
- State