rachidchabane/musthold
v0.1.1Apache-2.0
Runs the proofs of the installed musthold modules together.
prove-all
Prove a change with every musthold module that is installed, in the order discriminating power, alignment, completeness, answering each module's requests as its fulfil skill gives. Use before finishing a change to code, tests or specs, and when Shallnot reports awaiting_host, awaiting_proof or awaiting_host_judgment.
scan
Scan the code, or a pull request, for the promises its sources make and the tests that do not hold them, answering the model work of the scan as the fulfil skill of musthold-dp gives. Use when asked to scan a repository or a pull request, and when musthold scan --host exits with code 3.