Configuration

To create a debugger configuration for the CBMC Proof Debugger, click on the 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

  

  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

  

  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.