search

overturetool / vdm-vscode

Visual Studio Code extension for VDM language support
GNU General Public License v3.0
21 stars 6 forks source link

Fpm/trace dap #171

Closed FrederikPM closed 2 years ago

FrederikPM commented 2 years ago

Enable logging DAP messages to the terminal