why3realize - Man Page
produce a realization of a Why3 theory
Synopsis
why3realize [Options] <THEORY>
Description
Produce a realization of a Why3 theory.
Options
- -L, ā--library <dir>
Add dir to the library search path.
- -help, ā--help
Show a list of options.
See Also
why3(1), why3-cpulimit(1), why3bench(1), why3config(1), why3doc(1), why3ide(1), why3ml(1), why3replayer(1)
Referenced By
why3(1), why3bench(1), why3config(1), why3-cpulimit(1), why3doc(1), why3ide(1), why3ml(1), why3replayer(1).
1.3.3 why3