Method seed

src/api/graphlab2_1_GAS_api/random.cpp:104–112 · view source on GitHub ↗

* Seed all threads using the default seed */

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

foreachMethod · 0.45

register_generatorMethod · 0.45

seedFunction · 0.45

nondet_seedMethod · 0.45

lockMethod · 0.45

unlockMethod · 0.45

no test coverage detected