Closed markrtuttle closed 3 years ago
This pull request makes three simple changes to support debugging error traces summarized by cbmc viewer under visual studio code.
This pull request makes three simple changes to support debugging error traces summarized by cbmc viewer under visual studio code.