law min_run_zero

bend-prot@0.1.0.0 · LAWS.bend:864

import Base
import bend-prot@0.1.0.0/sim.bend as Sim

864law min_run_zero:
865  for ds: List<&2, Sim.DynAtom>
866  for qs: List<&2, F32>
867  for bonds: List<&2, U32>
868  for p: Sim.SimParams
869  for dt: F32
870  {Sim.min_run(0n, ds, qs, bonds, p, dt) == ds : List<&2, Sim.DynAtom>}