Use passes in Repairman
Make sure Repair timeout is in ms. Don't repair functions without postc.