public @interface Flag
ArgumentsLifter
Used to mark flag for proof script commands. For example "instantitate formula='...' ... hide" is denoted as
Option
Modifier and Type | Required Element and Description |
---|---|
java.lang.String |
value
Name of the command line argument.
|
Copyright © 2003-2019 The KeY-Project.