《三国演义》第一百回：曹真与司马懿打赌，各守一谷等候蜀兵。陈式擅自进兵箕谷，兵马损伤，被处斩。曹真被诸葛亮击败，一病不起，诸葛亮遣人送信往魏营，曹真看后气死。诸葛亮四出祁山，与司马懿斗阵，魏军大败。司马懿遣降将苟安散布流言，刘禅召诸葛亮回。
