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

Method getTotalTimeInMicro

src/common/Statistics.cpp:430–433  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

428}
429
430unsigned long long Statistics::getTotalTimeInMicro() const
431{
432 return TimeUtils::timePassed( _startTime, TimeUtils::sampleMicro() );
433}
434
435unsigned Statistics::getAveragePivotTimeInMicro() const
436{

Callers 3

0_NNetExample.pyFile · 0.80
5_DisjunctionConstraintExample.pyFile · 0.80
shouldExitDueToTimeoutMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected