why3realize man page
why3realize — 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).
0.88.3 why3 User Commands