Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
src		src
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
README.md		README.md
goblint.json		goblint.json
gobpie.json		gobpie.json

Repository files navigation

Demo project to try out GobPie extension in VSCode

Links to related projects:

To try out the extension:

Install the extension by following the instructions in GobPie project
Open the demo project in VSCode
Save any .c file to start an analysis

About

No description, website, or topics provided.

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages