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

Function discardFile

src/common/real/FileFactory.cpp:25–28  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

23}
24
25void discardFile( IFile *file )
26{
27 delete file;
28}
29} // namespace T
30
31//

Callers 1

~AutoFileMethod · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected