Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Merge requests
!27
Merged
Created
Oct 02, 2018
by
DAILLER Sylvain
@sdailler
Developer
Options
Fix issue
#190
Overview
0
Commits
1
Changes
10
Exceptions from transformations are of two kinds:
fatal exception which are then raised into a popup in the ide
normal exception which appears in the message view