Constant miri::clock::NANOSECONDS_PER_BASIC_BLOCK

const NANOSECONDS_PER_BASIC_BLOCK: u64 = 10;

When using a virtual clock, this defines how many nanoseconds we pretend are passing for each basic block.