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