dune-project · 9e1046c8b8f9c963a9cb7f7aaa82fab84298330e · pub / frama-c · GitLab

Snippets Groups Projects

2 years ago
22930a07
Merge branch 'feature/patrick/ptests-warns-on-disabled-conditions' into 'master' · 22930a07
Patrick Baudin authored 2 years ago
```
[ptests] adds @disabled_ptests targets

Closes #1157

See merge request frama-c/frama-c!3919
```
22930a07

History
Merge branch 'feature/patrick/ptests-warns-on-disabled-conditions' into 'master'
Patrick Baudin authored 2 years ago
```
[ptests] adds @disabled_ptests targets

Closes #1157

See merge request frama-c/frama-c!3919
```

file.ml 68.85 KiB