action
open fun actionAcceptingTermination( base: String, fsm: DFA, interproceduralFlow: Boolean)
Content copied to clipboard
Contains the functionality which is executed if the DFA terminated in an accepting state for the given base. This means that all required statements have been executed for base so far. The fsm holds the execution trace found by the analysis.