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.2.3.tar.gz
md5=22e0fc3f97555ac35b96fae10817a887
sha512=10457c9d1302e3f3018dca652cdf81f0cdfd461a79eca1a8a8b754e964a47f7f35c10a8c07aff8f5193ee7e794440635d788d91925ce75fb8280b60b4f0d6663

doc/soteria/Soteria/Symex/Fuel_gauge/Cli/index.html

Module Fuel_gauge.Cli

val validate_or_exit : (t, string) result -> t
val fuel_value_conv : Fuel_value.t Cmdliner.Arg.conv
val process_args : default:t -> Fuel_value.t option -> Fuel_value.t option -> bool -> (t, string) result
val term : default:t -> unit -> (t, string) result Cmdliner.Term.t