Minimal test case pdf