package deadlock
Frama-C plugin for deadlock detection
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.1.tar.gz
md5=fa1302e9f6586ba535838c23bfbffea8
Description
Published: 07 Oct 2021
Dependencies (4)
- containers
- ounit2
-
frama-c
>= "23.1" & < "25.0~" -
ocaml
>= "4.12.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page