MCPcopy Create free account
hub / github.com/NeuralNetworkVerification/Marabou / mockDestructor

Method mockDestructor

src/common/tests/MockFile.h:45–51  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

43 }
44
45 void mockDestructor()
46 {
47 TS_ASSERT( wasCreated );
48 TS_ASSERT( !wasDiscarded );
49
50 wasDiscarded = true;
51 }
52
53 bool openWasCalled;
54 IFile::Mode lastOpenMode;

Callers 1

discardFileMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected