Skip to content

v1.6.108

Choose a tag to compare

@greglas75 greglas75 released this 24 Oct 17:53
· 42 commits to main since this release

adversarial: a deleted file that holds a line too long for any chunk is rendered as its header plus an OMITTED note instead of being cut (exit 4); a too-long removed/context line is cut to 200 bytes with a marker; a too-long ADDED line still exits 4 and is named as input_unsplittable. Every omission is recorded in the proof and --json (#122)