law pdb_skipped_1

bend-prot@0.1.0.0 · LAWS.bend:413

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

413# ... while a bad serial skips exactly its line.
414law pdb_skipped_1:
415  {Pdb.skipped_of(Pdb.parse_pdb(Pdb.demo_bad_text())) == 1n : Nat}