Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
Frama-C Website
Merge requests
!141
Fixes demo example
Code
Review changes
Check out branch
Download
Email patches
Plain diff
Merged
Patrick Baudin
requested to merge
baudin-master-patch-41201
into
master
Feb 23, 2022
Overview
0
Commits
1
Pipelines
1
Changes
1
The demo example was incomplete.
adds the global properties to import.