他去找了萧寻吗？

这个理由，未免太牵强了一些。

夏侯渊来到阳平关之后，正要汇报沮县的情况，结果就被萧寻打断，因为萧寻先问了一下司马懿的情况。

汉中局势已经定下来了，不会再出什么意外，所以此时萧寻更关注司马懿。

夏侯渊心里意外，但还是如实汇报，说司马懿在沮县的表现很好，根本就挑不出任何毛病，而且还特别强调了司马懿