Package ru.ispras.microtesk.tools.oracle.matcher
-
Interface Summary Interface Description OracleEventMatcher -
Class Summary Class Description EventList TheEventList
class returns trace events one by one.EventTransformer TheEventList
class returns trace events one by one.OracleEventMatcherFull TheOracleEventMatcherFull
class runs the program onProgramSimulator
step by step and compares the result with the events from the control traceOracleEventMatcherNotFull