src/plugins/server/states.ml · 9ff8b276f3893ab2f1952e3e1c28cef7d72154ff · pub / frama-c · GitLab

Snippets Groups Projects

4 years ago
9ff8b276
[server] Fixes the synchronization of states arrays. · 9ff8b276
David Bühler authored 4 years ago and Michele Alberti committed 4 years ago
```
Emits the array signal at the creation of the array content.
```
9ff8b276

History
[server] Fixes the synchronization of states arrays.
David Bühler authored 4 years ago and Michele Alberti committed 4 years ago
```
Emits the array signal at the creation of the array content.
```

states.ml 11.97 KiB