tests/libc/spawn_h.c · 6e2b195d816fb88af43c420f322d9563d4b2928b · pub / frama-c · GitLab

Snippets Groups Projects

3 years ago
29fda6d3
[Libc] add a few tests using example code from manpages · 29fda6d3
Andre Maroneze authored 3 years ago
```
These tests have missing specs, so the large amount of warnings is expected.
```
29fda6d3

History
[Libc] add a few tests using example code from manpages
Andre Maroneze authored 3 years ago
```
These tests have missing specs, so the large amount of warnings is expected.
```

spawn_h.c 3.36 KiB