package soteria

  1. Overview
  2. Docs
Soteria is a toolkit for writing symbolic bug-finding tools

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

  1. S
    Sacha-Élie Ayoun <s.ayoun17@imperial.ac.uk>
  2. O
    Opale Sjöstedt <opale.sjostedt23@imperial.ac.uk>

Maintainers

  1. S
    Sacha-Élie Ayoun <s.ayoun17@imperial.ac.uk>
  2. O
    Opale Sjöstedt <opale.sjostedt23@imperial.ac.uk>

Sources

v0.1.0.tar.gz
md5=8f15271b81e34caa12a39e3b7a63313a
sha512=5f6987cf362bc06402d9bed324c7b060384d7ef02479e2a614ca4b4122cc65082f6afc892c398c6562b0eb42fc13d6cc77e76c2518221590576215aaa00ee5bd

doc/soteria/Soteria/Sym_states/Pmap/Make_patricia_tree/SM/Syntax/index.html

Module SM.Syntax

include Soteria.Soteria_std.Monad.Syntax with type 'a t := 'a t
val (let*) : 'a t -> ('a -> 'b t) -> 'b t
val (let+) : 'a t -> ('a -> 'b) -> 'b t
include Soteria.Soteria_std.Compo_res.Syntax with type ('ok, 'err, 'fix) t := ('ok, 'err, 'fix) Soteria.Soteria_std.Compo_res.t t
val (let**) : ('a, 'b, 'c) Soteria.Soteria_std.Compo_res.t t -> ('a -> ('d, 'b, 'c) Soteria.Soteria_std.Compo_res.t t) -> ('d, 'b, 'c) Soteria.Soteria_std.Compo_res.t t
val (let++) : ('a, 'b, 'c) Soteria.Soteria_std.Compo_res.t t -> ('a -> 'd) -> ('d, 'b, 'c) Soteria.Soteria_std.Compo_res.t t
val (let*-) : ('a, 'b, 'c) Soteria.Soteria_std.Compo_res.t t -> ('b -> ('a, 'd, 'c) Soteria.Soteria_std.Compo_res.t t) -> ('a, 'd, 'c) Soteria.Soteria_std.Compo_res.t t
val (let+-) : ('a, 'b, 'c) Soteria.Soteria_std.Compo_res.t t -> ('b -> 'd) -> ('a, 'd, 'c) Soteria.Soteria_std.Compo_res.t t
val (let+?) : ('a, 'b, 'c) Soteria.Soteria_std.Compo_res.t t -> ('c -> 'd) -> ('a, 'b, 'd) Soteria.Soteria_std.Compo_res.t t
module Symex_syntax : Symex.Symex_syntax_S with type ('a, 'b) t := 'a t and type sbool_v := Value.sbool Value.t
val (let*^) : 'a Symex.t -> ('a -> 'b t) -> 'b t
val (let+^) : 'a Symex.t -> ('a -> 'b) -> 'b t
val (let**^) : ('a, 'e, 'f) Symex.Result.t -> ('a -> ('b, 'e, 'f) Result.t) -> ('b, 'e, 'f) Result.t
val (let++^) : ('a, 'e, 'f) Symex.Result.t -> ('a -> 'b) -> ('b, 'e, 'f) Result.t