Skip to main content

Report.check_inputs()

Check the preconditions (requires, the inferred bounds among

Usage

Source

Report.check_inputs(con)

them) and the SUMs assumed to fit (assumed) on the tables of con, before anything runs: a batch that breaks one is refused with the precondition as the message (#444, goal 1).

Raises

PreconditionError
A precondition or an assumed SUM does not hold on the data.