law pdb_bad_atoms

bend-prot@0.1.0.0 · LAWS.bend:417

import Base
import bend-prot@0.1.0.0/protein.bend as P
import bend-prot@0.1.0.0/pdb.bend as Pdb

417law pdb_bad_atoms:
418  {P.Complex.num_atoms(Pdb.complex_of(Pdb.parse_pdb(Pdb.demo_bad_text()))) == 1n : Nat}