add shortest path correctness test