MCPcopy Create free account
hub / github.com/ModelInference/synoptic / run

Method run

csight/src/csight/main/CSightMain.java:261–285  ·  view source on GitHub ↗

Runs the CSight process based on the settings in opts. In particular, we expect that the logFilenames are specified in opts. @throws Exception

()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 1

mainMethod · 0.95

Calls 15

initializeSynopticMethod · 0.95
parseEventsFromFilesMethod · 0.95
genDAGsTraceGraphMethod · 0.95
parseEventsFromStringMethod · 0.95
numInvariantsMethod · 0.95
toPrettyStringMethod · 0.95
synInvsToDynInvsMethod · 0.95
synTraceGraphToDynObsFifoSysMethod · 0.95
exportObsFifoSysMethod · 0.95
checkInvsRefineGFSMParallelMethod · 0.95
checkMultipleInvsRefineGFSMMethod · 0.95
checkInvsRefineGFSMMethod · 0.95

Tested by

no test coverage detected