NAME¶

Krakatoa - a verification tool for Java programs.

SYNOPSIS¶

krakatoa [options] files

-parse-only: stops after parsing
-type-only: stops after typing
-abstract: <file> stops after typing and output abstract view to <file>
-gen-only: <file> stops after producing <file>.jc
-print-call-graph: stops after call graph and print call graph
-d: debugging mode
-why3: <why3 command> (default: ide)
-v: verbose mode
-q: quiet mode (default)
-werror: treats warnings as errors
-version: prints version and exit
-javacard: source is Java Card
-nonnull-sem: <kind> nonnull-by-default semantics: none (default), fields, all
-help: Display this list of options
--help: Display this list of options