package frama-c-metacsl

  1. Overview
  2. Docs
MetAcsl plugin of Frama-C for writing pervasives properties

Install

Dune Dependency

Authors

Maintainers

Sources

meta-0.6.tar.bz2
md5=2b453b80f85c7b358afda6a9e3c72d26
sha512=2039616a471d0d9ecc7bc0531bc7a07bc7f91e8f48e8caecbab09bf41570f2445ae0c3e4b6e19390e0e338708886acf42c891ece7cf6df6d9e98323b4fc122b1

doc/frama-c-metacsl.core/MetAcsl/index.html

Module MetAcslSource

Sourcemodule Meta_run : sig ... end
Sourcemodule Meta_utils : sig ... end
OCaml

Innovation. Community. Security.