| Modifier and Type | Field and Description |
|---|---|
protected static org.apache.logging.log4j.Logger |
logger |
protected Properties |
properties |
protected PhaseRegistry |
registry |
protected DefaultScene |
scene |
| Constructor and Description |
|---|
AbstractAttestor() |
| Modifier and Type | Method and Description |
|---|---|
Map<de.rwth.i2.attestor.LTLFormula,ProgramState> |
getCounterexamples() |
String |
getDescription() |
Map<String,Double> |
getExecutionTimes() |
int |
getNumberOfFinalStates() |
int |
getNumberOfStatesWithoutProcedureCalls() |
long |
getTotalNumberOfStates() |
boolean |
hasAllLTLSatisfied() |
boolean |
hasFatalError() |
protected abstract void |
registerPhases(String[] args) |
void |
run(String[] args)
Runs attestor to perform a program analysis.
|
protected static final org.apache.logging.log4j.Logger logger
protected final Properties properties
protected PhaseRegistry registry
protected DefaultScene scene
public void run(String[] args)
args - The command line arguments determining communication and analysis customizations.protected abstract void registerPhases(String[] args) throws Exception
Exceptionpublic boolean hasFatalError()
public long getTotalNumberOfStates()
public int getNumberOfStatesWithoutProcedureCalls()
public String getDescription()
public int getNumberOfFinalStates()
public Map<de.rwth.i2.attestor.LTLFormula,ProgramState> getCounterexamples()
public boolean hasAllLTLSatisfied()
Copyright © 2019. All rights reserved.