Proof lines do not correspond to lines in proof log

StephanGocht / VeriPB

Verifier for pseudo-Boolean proofs

MIT License

12 stars 1 forks source link

Proof lines do not correspond to lines in proof log #4

Closed StephanGocht closed 4 years ago

StephanGocht commented 5 years ago

The counter for which proof line we are operating on does not count comment lines. Therefore it is not possible to simply check the proof file at the right line number. Probably it would be nicer to have the rule number be equal to the line number.

StephanGocht commented 4 years ago

Fixed.