package frama-c-metacsl

You can search for identifiers within the package.

in-package search v0.2.0

MetAcsl plugin of Frama-C for writing pervasives properties

Install

md5=2b453b80f85c7b358afda6a9e3c72d26

sha512=2039616a471d0d9ecc7bc0531bc7a07bc7f91e8f48e8caecbab09bf41570f2445ae0c3e4b6e19390e0e338708886acf42c891ece7cf6df6d9e98323b4fc122b1

Sourcemodule Meta_run : sig ... end

Sourcemodule Meta_utils : sig ... end