access shortest path locst variable from path_symex_statet

Author: polgreen

src/path-symex/path_symex_state.h

@@ -208,6 +208,11 @@ struct path_symex_statet
     return depth;
   }
 
+  unsigned get_shortest_path() const
+  {
+    return locs.loc_vector[pc().loc_number].distance_to_property;
+  }
+
   void increase_depth()
   {
     depth++;