加了超级源点后一共有 $n + 1$ 个点，所以当你判负环时应该这样写：

if (cnt[v] >= n + 1)
    return false;

其中 $cnt$ 是最短路边数。