static class IntermediateProofReplayer.Result extends Object
Modifier and Type | Field and Description |
---|---|
private List<Throwable> |
errors |
private Goal |
lastSelectedGoal |
private String |
status |
Constructor and Description |
---|
Result(String status,
List<Throwable> errors,
Goal lastSelectedGoal) |
Modifier and Type | Method and Description |
---|---|
List<Throwable> |
getErrors() |
Goal |
getLastSelectedGoal() |
String |
getStatus() |