Keep the first pages of a paperPassed
Make intro.pdf containing only the first 3 pages of paper.pdf.
deft pdf select paper.pdf --pages 1-3 -o intro.pdf
Automatic checks (2)
- pdf_pages: file = "intro.pdf", pages = 3
- pdf_text: file = "intro.pdf", contains = ["Trace-based"]





