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