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

Method setRandomSeed

src/engine/Engine.cpp:150–153  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

148}
149
150void Engine::setRandomSeed( unsigned seed )
151{
152 srand( seed );
153}
154
155InputQuery Engine::prepareSnCInputQuery()
156{

Callers 1

dncSolveMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected