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

Method testPrepare

csight/tests/csight/mc/spin/SpinTests.java:77–104  ·  view source on GitHub ↗

A test for the compilation of Spin's pan model checker. @throws IOException @throws InterruptedException @throws TimeoutException

()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers

nothing calls this directly

Calls 3

isWindowsMethod · 0.95
prepareMethod · 0.80
cleanUpFilesMethod · 0.80

Tested by

no test coverage detected