Skip to content
  • Zach Marshall's avatar
    Clean up of HFOR and CompactHardTruth · 945905da
    Zach Marshall authored
    HFOR tool had an unchecked status code; fixing that.  CompactHardTruth
    had debug output at INFO level; downgrading that.
    
    
    Former-commit-id: e573c225f39724570596793c84550813b1093e4c
    945905da