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

Step 2: Perform region decomposition and generate test cases