=== RUN   TestIndependence
=== RUN   TestIndependence/A
    cache_test.go:19: A: fresh=true hit=true stale=true result=true
=== RUN   TestIndependence/B
    cache_test.go:19: B: fresh=true hit=false stale=true result=false
=== RUN   TestIndependence/C
    cache_test.go:19: C: fresh=true hit=false stale=false result=true
=== RUN   TestIndependence/D
    cache_test.go:19: D: fresh=false hit=true stale=true result=false
--- PASS: TestIndependence (0.00s)
    --- PASS: TestIndependence/A (0.00s)
    --- PASS: TestIndependence/B (0.00s)
    --- PASS: TestIndependence/C (0.00s)
    --- PASS: TestIndependence/D (0.00s)
PASS
ok  	example.com/proof-mcdc-cache/cache	0.710s