src/kernel_services/plugin_entry_points/kernel.ml · 2f276a0cf29c8b8541d44c26cd85c7db827123a3 · pub / frama-c · GitLab

Snippets Groups Projects

2 months ago
2f276a0c
[kernel] Moves new parameter "-memory-footprint" in the kernel. · 2f276a0c
David Bühler authored 2 months ago and Thibault Martin committed 2 months ago
```
Configures the OCaml garbage collector in the first parsing stage of the
command line.
```
2f276a0c

History
[kernel] Moves new parameter "-memory-footprint" in the kernel.
David Bühler authored 2 months ago and Thibault Martin committed 2 months ago
```
Configures the OCaml garbage collector in the first parsing stage of the
command line.
```