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

Method size

csight/src/csight/model/alphabet/FSMAlphabet.java:80–83  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 15

createAlphabetMethod · 0.95
runMethod · 0.45
postParseEventsMethod · 0.45
checkInvsRefineGFSMMethod · 0.45
checkInvsRefineGFSMParallelMethod · 0.45
parallelizerStartKMethod · 0.45
checkMultipleInvsRefineGFSMMethod · 0.45
chooseInvariantsMethod · 0.45
getVerifyResultMethod · 0.45
getMultipleVerifyResultsMethod · 0.45
parseEventStrMethod · 0.45
ParallelizerTaskMethod · 0.45

Calls

no outgoing calls

Tested by 15

createAlphabetMethod · 0.76
parseChannelIdsMethod · 0.36
emptyDequeueMethod · 0.36
emptyPeekMethod · 0.36
enqueueMethod · 0.36
enqueuePeekDequeueMethod · 0.36
verifyAndPrintMethod · 0.36
verifyEventuallyUnsafe2Method · 0.36
createCFSMStateMethod · 0.36
createCFSMStateWithTxnsMethod · 0.36
initsAcceptsMethod · 0.36
augmentWithAFbyMethod · 0.36