num::debug::g_probe_count

Defined in header <algebra/debug.hpp>

idx g_probe_count = 6;

Number of random probe vectors drawn per sampled property test.