Configuration

To create a debugger configuration for the CBMC Proof Debugger, click on the Run and Debug icon

Run and Debug icon

in the Activity Bar on the left.

  • If you have already configured some debuggers like lldb, you will see a drop-down list of configured debuggers

    Configured debuggers

    Expand the drop-down list, click on "Add Configuration," click on "CBMC Proof Debugger" in the list of available debuggers, and save the launch.json configuration file.

  • If you are configuring your first debugger, you will see the Run view

    Run start view

    Click on "create a launch.json file" and select "CBMC Proof Debugger" from the list of available debuggers, and save the launch.json configuration file.

For more information, read about launch configurations.