Document pc

romainbrenguier · romainbrenguier · commit 9e049baea936 · 2018-11-15T14:51:16.000Z
diff --git a/src/goto-symex/symex_target.h b/src/goto-symex/symex_target.h
@@ -30,6 +30,8 @@ class symex_targett
   {
     unsigned thread_nr;
     irep_idt function;
+    // The program counter is an iterator which indicates where the execution
+    // is in its program sequence
     goto_programt::const_targett pc;
     bool is_set;
 

Original file line number	Diff line number	Diff line change
`@@ -30,6 +30,8 @@ class symex_targett`
`30`	`30`	`{`
`31`	`31`	`unsigned thread_nr;`
`32`	`32`	`irep_idt function;`
	`33`	`+ // The program counter is an iterator which indicates where the execution`
	`34`	`+ // is in its program sequence`
`33`	`35`	`goto_programt::const_targett pc;`
`34`	`36`	`bool is_set;`
`35`	`37`