hub / github.com/ModelInference/synoptic / stop

Method stop

synoptic/src/synoptic/benchmarks/TimedTask.java:94–100 · view source on GitHub ↗

Stop the timed task. This takes the current system time and saves it. Calling stop on TimedTasks that have been stopped before has no effect. If the task was given a recordAt argument at construction time, it will be recorded there.

()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 10

getCounterExampleMethod · 0.95

getAllCounterExamplesMethod · 0.95

getFirstCounterExampleMethod · 0.95

computeTransClosureInvariantsMethod · 0.95

runTaskTestMethod · 0.95

toStringMethod · 0.95

runMethod · 0.95

splitUntilAllInvsSatisfiedMethod · 0.95

mainMethod · 0.95

jquery-1.4.2.min.jsFile · 0.80

Calls 1

recordMethod · 0.45

Tested by 1

runTaskTestMethod · 0.76