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

Method MockForFile

src/common/tests/Test_File.h:44–52  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

42{
43public:
44 MockForFile()
45 {
46 nextDescriptor = 17;
47 openWasCalled = false;
48 writeShouldFail = false;
49 closeWasCalled = false;
50 readShouldFail = false;
51 statShouldFail = false;
52 }
53
54 String lastPathname;
55 int lastFlags;

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected