law md_run_zero

bend-prot@0.1.0.0 · LAWS.bend:853

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

853law md_run_zero:
854  for ds: List<&2, Sim.DynAtom>
855  for qs: List<&2, F32>
856  for bonds: List<&2, U32>
857  for p: Sim.SimParams
858  for dt: F32
859  for tau: F32
860  for temp0: F32
861  for n: Nat
862  {Sim.md_run(0n, ds, qs, bonds, p, dt, tau, temp0, n) == ds : List<&2, Sim.DynAtom>}