cudd
cudd copied to clipboard
rename "fail" macro
rename fail to fail_msg