pub fn create_state_machine<'a>( test: impl Into<TestHandle>, traces: &'a mut TraceMap, source_analysis: &'a HashMap<PathBuf, LineAnalysis>, config: &'a Config, event_log: &'a Option<EventLog>) -> (TestState, LinuxData<'a>)
