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

Method parseEventStr

csight/src/csight/mc/spin/SpinResult.java:156–193  ·  view source on GitHub ↗

Parses an event from an event string in the counterexample. @param event @return

(String event)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 1

parseCounterExampleMethod · 0.95

Calls 9

LocalEventMethod · 0.95
RecvEventMethod · 0.95
SendEventMethod · 0.95
matcherMethod · 0.80
findMethod · 0.80
groupCountMethod · 0.80
groupMethod · 0.65
getMethod · 0.65
sizeMethod · 0.45

Tested by

no test coverage detected