Skip to content

Commit 600ae17

Browse files
author
martin
committed
Remove reference to non-public issue tracker
1 parent f6dacb0 commit 600ae17

File tree

1 file changed

+0
-1
lines changed
  • regression/goto-analyzer-simplify/simplify-lhs-pointer-array-dereference

1 file changed

+0
-1
lines changed

regression/goto-analyzer-simplify/simplify-lhs-pointer-array-dereference/main.c

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,6 @@ void main()
1212

1313
// TODO: Currently writing to an offset pointer sets the domain to top
1414
// so recreate the variables to reign the domain back in
15-
// This will be addressed by diffblue/cbmc-toyota#118
1615
int new_array[] = {1, 2, 3, 4, 5};
1716
int *new_pointer = new_array;
1817

0 commit comments

Comments
 (0)