Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution.util | |
org.key_project.example |
Modifier and Type | Method and Description |
---|---|
SymbolicExecutionTreeBuilder |
SymbolicExecutionEnvironment.getBuilder()
Returns the
SymbolicExecutionTreeBuilder for execution tree extraction. |
Modifier and Type | Method and Description |
---|---|
static void |
SymbolicExecutionUtil.initializeStrategy(SymbolicExecutionTreeBuilder builder)
Initializes the
Proof of the given SymbolicExecutionTreeBuilder
so that the correct Strategy is used. |
Constructor and Description |
---|
SymbolicExecutionEnvironment(KeYEnvironment<U> environment,
SymbolicExecutionTreeBuilder builder)
Constructor.
|
SymbolicExecutionEnvironment(U ui,
InitConfig initConfig,
SymbolicExecutionTreeBuilder builder)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
protected static void |
Main.printSymbolicExecutionTree(java.lang.String title,
SymbolicExecutionTreeBuilder builder)
Prints the symbolic execution tree as flat list into the console.
|
Copyright © 2003-2019 The KeY-Project.