apollo-backend/eu.yeger.apollo.model_checker.model.api/ModelCheckerResponse/rootTrace

rootTrace

val rootTrace: ModelCheckerTrace(source)