hub / github.com/ModelInference/synoptic / cleanUpFiles

Method cleanUpFiles

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

This cleans up the files generated by this class. This includes the Promela representation of the CFSM, the model checker source, the model checker executable and the trail file.

()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 3

getVerifyResultMethod · 0.95

getMultipleVerifyResultsMethod · 0.95

testPrepareMethod · 0.80

Calls

no outgoing calls

Tested by 1

testPrepareMethod · 0.64