We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 739a0d0 commit f4f9a30Copy full SHA for f4f9a30
doc/architectural/goto-program-transformations.md
@@ -199,9 +199,9 @@ unused-functions-transform if it is being used.</em>
199
200
\subsection properties-transform Label Properties
201
202
-This transformation adds information to assert instructions. This includes
203
-- Adding source locations to asserts where they are missing
204
-- Populating the locations's property ID
+This transformation adds newly generated unique property identifiers to assert
+instructions. The property identifiers are stored in the location data structure
+associated with each instruction.
205
206
The implementation of this pass is called via \ref
207
label_properties(goto_modelt &)
0 commit comments