Merge pull request #4224 from peterschrammel/clarify-trace-storage-docs

Clarify trace storage property ID mapping

Author: tautschnig

src/goto-checker/goto_trace_storage.h

@@ -24,6 +24,8 @@ class goto_trace_storaget
   const goto_tracet &insert(goto_tracet &&);
 
   /// Store trace that contains multiple violated assertions
+  /// \note Only property IDs that are not part of any already stored trace
+  ///   are mapped to the given trace.
   const goto_tracet &insert_all(goto_tracet &&);
 
   const std::vector<goto_tracet> &all() const;