3 !a_'@sRddlZddlZddlZddlZddlmZddlmZddZedkrNedS)N)glob) PATCHES_DIRc Cstjjdrtjg}g}xrttjjtdD]\}td|t j dddd|gtjjddddd }|j r|j |t jd |q0|j |q0Wttjjtdd V}td |d tdjtdd||d td|d tdjtdd||d WdQRXdS)NZpatchedz*.patchpatchgitZapplyz--ignore-space-changez--ignore-whitespacez..)cwdzpatching failed: %swzSuccess:)file cSsd|S)N )xr r @/home/aniruddha/Desktop/UnitTestSetup/test/cbmc/patches/patch.pyszpatch..zFailure:cSsd|S)Nr r )r r r r r s)ospathisfilesysexitrjoinrprint subprocessrun returncodeappendloggingerroropenmap)Zapplied_patchesZfailed_patchesZtmpfileresultZoutpr r r r s"     r__main__) rrrrrpatches_constantsrr__name__r r r r s