预判诸葛亮出兵路线防守陈仓是真的吗？

《三国志·魏书·曹真传》记载曹真预判诸葛亮必攻陈仓，派郝昭修筑防御，成功抵御诸葛亮第二次北伐。（原文：“三郡皆平。真以亮惩于祁山，后出必从陈仓，乃使将军郝昭、王生守陈仓，治其城。明年春，亮果围陈仓，已有备而不能克。”——出处：data/raw/sanguozhi/魏书·诸夏侯曹传.txt）