Function propositionFor

test/compute-engine/verify.test.ts:221–224

(ce: ComputeEngine, label: string)

  ];

  // The proposition actually asserted (chained assume needs its own source).
  const propositionFor = (ce: ComputeEngine, label: string): any => {
    if (label.startsWith('0 < x < 1')) return ce.parse('0 < x < 1');
    return null;
  };

  for (const [label, build] of cases) {