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

Method createSingletonGFSM

csight/tests/csight/CSightTest.java:221–270  ·  view source on GitHub ↗

Create a GFSM with all singleton partitions, and a send and receive event "e" @return

()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 4

testIsSingletonMethod · 0.80
testIsDeepEqualMethod · 0.80
testCheckInvsRefineGFSMWithSingletonPartitionMethod · 0.80
testCheckMultipleInvsRefineGFSMWithSingletonPartitionMethod · 0.80

Calls 11

newListMethod · 0.95
namedObsFSMStateMethod · 0.95
getMultiFSMStateMethod · 0.95
SendEventMethod · 0.95
RecvEventMethod · 0.95
fromChannelIdsMethod · 0.95
getNextChStateMethod · 0.95
getFifoSysStateMethod · 0.95
addTransitionMethod · 0.95
newSetMethod · 0.95
addMethod · 0.65

Tested by

no test coverage detected