hub / github.com/ModelInference/synoptic / getMultipleVerifyResults

Method getMultipleVerifyResults

csight/src/csight/mc/spin/Spin.java:276–303 · view source on GitHub ↗

Retrieves multiple MCResults from parsing the Spin counterexamples. It is recommended that the iterator is not used for the returned result as a null result is valid for the Map. @param cids @param numInvsInRun Number of invariants in this Spin model checking run. @return @throws IOExcep

(
            List<ChannelId> cids, int numInvsInRun)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 2

checkMultipleInvsRefineGFSMMethod · 0.95

verifyAndPrintMethod · 0.80

Calls 5

getVerifyResultMethod · 0.95

cleanUpFilesMethod · 0.95

putMethod · 0.80

getMethod · 0.65

sizeMethod · 0.45

Tested by 1

verifyAndPrintMethod · 0.64