七年，亮遣陈式攻武都、阴平。