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.