Method getTraceID

synoptic/src/synoptic/model/EventNode.java:374–376 · view source on GitHub ↗

()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

mergeStatesWithEventNodesMethod · 0.95

extractInvariantsFromTCMethod · 0.80

tagInitialMethod · 0.80

getPathsThroughPartitionsMethod · 0.80

exportGraphMethod · 0.80

buildInitPidEventNodesMethod · 0.80

no outgoing calls

no test coverage detected