事态的发展也正如诸葛亮所预料的那样，曹真和司马懿大军来到陈仓不久，天降大雨，持续三十余天。曹军被暴雨所困，不仅无法动弹，粮草供应也出现严重短缺，不少战马饿死，将士们怨声载道。大臣王肃、杨阜、华歆也纷纷上奏要求撤军。无奈之下，曹魏只得下诏命曹真、司马懿全军撤回。
小说中提到的此次曹真与司马懿率部伐蜀的故事，在历史上的确出现过。不过，与小说的描述不同，历史上曹真伐蜀的规模并没有四十万之众，而是十余万人，这也是三国中期曹魏所发动的唯一一次大规模的进犯蜀汉的军事行动。
一直在西北战场处于守势的曹魏为何主动出兵伐蜀呢？原因与诸葛亮在之前的数次北伐有关。从《三国志》的记载来看，诸葛亮首次北伐，惨败于街亭；第二次北伐，又受挫于陈仓；第三次北伐，仅仅拿下了几乎无人的武都郡和阴平郡。这三次北伐不仅没有令曹魏对诸葛亮心生畏惧，反而令曹真、司马懿等曹魏将领认为诸葛亮的能力也不过如此。因此，曹真上奏魏明帝曹睿，要求出兵伐蜀。
