hub / github.com/ModelInference/synoptic / generateMCSource

Method generateMCSource

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

Spin generates the source code for the model checker. This will need to be compiled and executed. @param process @return Time taken to run process. @throws IOException @throws InterruptedException @throws TimeoutException

(MCProcess process)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 1

prepareMethod · 0.95

Calls 3

runProcessMethod · 0.80

getInputStreamContentMethod · 0.80

containsMethod · 0.80

Tested by

no test coverage detected