Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
discardFile
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected