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.87.2 why3 User Commands