liquid-fixpoint-0.7.0.2: tests/logs/cur/pin

as