MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / cancel

Method cancel

MiniZincIDE/codechecker.cpp:33–37  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

31}
32
33void CodeChecker::cancel()
34{
35 p.disconnect();
36 p.terminate();
37}
38
39void CodeChecker::onStarted()
40{

Callers

nothing calls this directly

Calls 2

disconnectMethod · 0.80
terminateMethod · 0.80

Tested by

no test coverage detected