← all publishers

ingokegel

@ingokegel source repo

Report this profile Claim this profile

• 1 skill
• 0 followers
• 8 hours ago last updated

1. ▌
   Propagate · ingokegel

   Generate tests from Allium specifications. Use when the user wants to propagate tests, generate test files from a spec, write tests for a specification, create property-based tests, produce state machine tests, check test coverage against spec obligations, or understand what tests a specification requires.
   0
   installs