Improve mc_report_undefined_behavior_on_fail with correct PENDING TRANSITIONS#157

gc00 wants to merge 3 commits into

mainmcminickpt/mcmini:mainfrom

improve-report-on-failmcminickpt/mcmini:improve-report-on-failCopy head branch name to clipboard