3 !a_@s@ddlZddlZddlZddZddZedkr sz*remove_cbmc_yaml_files..)rwalkremove)_filesZcbmc_batch_filesrr )r r remove_cbmc_yaml_filess   rcCsltjdkrdSxVtjdD]H\}}}dd|D}|rd|krtjddgtjtjtjj|dd qWdS) NWindowsrcSsg|]}|jdr|qS)z _harness.c)endswith)rrr r r r +sz*create_cbmc_yaml_files..MakefileZmakezcbmc-batch.yamlT)stdoutstderrcwdcheck) platformsystemrr subprocessrunPIPErr)r rrharnessr r r create_cbmc_yaml_files&s    r__main__)rrrrr__name__r r r r s