Check driverlog for why the refinement is invalid #113

Closed jmdha closed 3 months ago