(Shortest import: from brian2.core.clocks import check_dt)
from brian2.core.clocks import check_dt)
brian2.core.clocks.
check_dt
Check that the target time can be represented equally well with the new dt.