src/core/model_parser.mli · 3d58982bb91dedb74e3f43e36695013862c6319a · Why3 / why3 · GitLab

Mentions légales du service

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

why3
- Activity
- Members
- Labels
- Releases
- Container registry
- Service Desk

Snippets Groups Projects

- Why3
- why3
Repository

Select Git revision

0 results

why3
src
core
model_parser.mli

Blame Permalink

7 years ago
3d58982b
When printing models, add labels associated to a model element name id · 3d58982b
Sylvain Dailler authored 7 years ago
```
This way, (labels|tags|attributes) can be retrieved on counterexamples
names.
```
3d58982b

History
When printing models, add labels associated to a model element name id
Sylvain Dailler authored 7 years ago
```
This way, (labels|tags|attributes) can be retrieved on counterexamples
names.
```