public class Main
extends java.lang.Object
example/Number#equals(Number)
Constructor and Description |
---|
Main() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args)
The program entry point.
|
protected static void |
printSymbolicExecutionTree(java.lang.String title,
SymbolicExecutionTreeBuilder builder)
Prints the symbolic execution tree as flat list into the console.
|
public static void main(java.lang.String[] args)
args
- The start parameters.protected static void printSymbolicExecutionTree(java.lang.String title, SymbolicExecutionTreeBuilder builder)
title
- The title.builder
- The SymbolicExecutionTreeBuilder
providing the root of the symbolic execution tree.Copyright © 2003-2019 The KeY-Project.