This failure leads to the painfully difficult task of working backward from the class that failed verification to find the code that generated the wrong instruction.

• 这个失败会导致痛苦而艰难的任务:从检验失败的类返回,寻找生成错误指令的代码。