package frama-c-metacsl

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

MetAcsl plugin of Frama-C for writing pervasives properties

Install

Dune Dependency

frama-c.com Readme Changelog Edit opam file Versions (11)

Authors

V

Virgile Robles
T

Téo Bernier
N

Nikolai Kosmatov

Maintainers

V

Virgile.Prevosto@cea.fr

Sources

meta-0.8-beta.tar.bz2

md5=ae04d3559fba78100a5b07bf66407e8e

sha512=faeea239a1238dc344f0ca467aa9602b453832ac6f7f10d0a4f329bc1641aea77d4f425fcd2bf7a73c54def7874f9c58ef67c78c3935a0c8bb66746cfbb54cd4

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

Module `MetAcsl.Meta_run`Source

Source

val translate : 
  ?check_external:bool ->
  ?check_callee_assigns:Frama_c_kernel.Kernel_function.Set.t ->
  ?simpl:bool ->
  ?target_set:Meta_utils.StrSet.t ->
  ?number_assertions:bool ->
  ?prefix_meta:bool ->
  ?static_bindings:int ->
  unit ->
  Frama_c_kernel.Project.t

package frama-c-metacsl

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module MetAcsl.Meta_runSource

Module `MetAcsl.Meta_run`Source