1.然而，对于某些真实程序现有的反例生成方法不支持快速的错误诊断。
2.当一个案例生成时这个子文件夹及其下属子文件夹被自动生成.
3.因为大自然不动感情：太阳照射，不分善恶，月亮与星星，对善人和恶棍一例生辉。歌德