Walkthrough Examples

For these walkthroughs, we’ll use Cursor with CodeLogician integrated as MCP. The examples can be found in the public repo: code-logician-examples.

Test Case Generation

Step 1: Generate an IML model for existing code IML model

Step 2: Perform region decomposition and generate test cases Region decomposition