How-to Guides

Each guide here solves one problem, assuming you already have CodeLogician working and have run it once. They are recipes, not lessons. If you want to be taught the tool rather than pointed at a task, start with the quickstart or the CLI tutorial instead.

Every command output on these pages is generated by running the real CLI against the checked-in example files, and regenerated with make promote-codelogician-exec-results. If a command's output changes, the docs change with it.

The guides

• Region DecompositionDecompose a function into its distinct behaviours, read the regions, and control how many you get
• Generate Test CasesTurn a region decomposition into a test per behaviour with gen-test, or build tests in your own shape from the raw region data
• Handle External DependenciesModel the libraries, services and awkward maths you have not formalised, using opaque functions, axioms or approximations

Related

• Explanation: why the tools are shaped the way they are
• Reference: every CLI command and IML construct
• Case studies: finished analyses of production-shaped systems