src/lv6MainArgs.ml · 98e81cb07dbc54e2fdaffb8d46d94e55096b751a · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.

10 years ago
98e81cb0
Add a --2c-wcet (-2cw7) option that generates a main file for computing wcet. · 98e81cb0
Erwan Jahier authored 10 years ago
```
That generated dummy main calls one step function and exits.

Imposes -2c.
```
98e81cb0

History
Add a --2c-wcet (-2cw7) option that generates a main file for computing wcet.
Erwan Jahier authored 10 years ago
```
That generated dummy main calls one step function and exits.

Imposes -2c.
```