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

Method stampStartingTime

src/common/Statistics.cpp:103–106  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

101}
102
103void Statistics::stampStartingTime()
104{
105 _startTime = TimeUtils::sampleMicro();
106}
107
108void Statistics::print()
109{

Callers 2

EngineMethod · 0.80
resetStatisticsMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected