这条计策被郭冲归纳在"条亮五事"里头，到了东晋，裴松之注解批改《三国志》时把郭冲说的5件事统统批评了一顿，他表示郭冲这家伙纯属胡说八道，他讲的空城计时间地点都搞错了，司马懿确实被派去从宛城途径西城打过蜀军，但那会儿下大雨，没打成，也没有个曹真来配合司马懿。
"魏尝遣宣帝自宛由西城伐蜀，值霖雨，不果。此之前后，无复有于阳平交兵事。"
但实际上呢，裴松之说的也不准确。根据《资治通鉴》，魏明帝曹叡登基第二年，诸葛亮三月份屯于沔北阳平，司马懿六月份当上了荆州、豫州军事总指挥，他当时就驻扎宛城，这三个月空档期确实有和诸葛亮交战的机会；
3年后，曹真领着大军伐蜀，主力因为大雨撤退，但司马懿这支情况怎样，就不得而知，诸葛亮当时去了前线驻守，抵御魏军，所以诸葛亮和司马懿联合主演"空城计"是有时间和机会的，并不一定要和街亭之战扯上关系。
