Delta debugging

diffblue · Jan 13, 2025 · e89f8de · e89f8de
1 parent 2cbb74b
commit e89f8de
Showing 1 changed file with 0 additions and 15 deletions.
diff --git a/doc/architectural/central-data-structures.md b/doc/architectural/central-data-structures.md
@@ -37,21 +37,6 @@ erDiagram
     goto_programt body
     ordered_collection_of parameter_identifiers
   }
-  goto_functiont ||--|| goto_programt : ""
-  goto_programt {
-    ordered_collection_of instructions
-  }
-  goto_programt ||--o{ instructiont : ""
-  instructiont {
-    enumeration instruction_type
-    goto_program_codet code
-    boolean_expression guard
-    source_locationt source_location
-  }
-  instructiont ||--|| goto_program_instruction_typet : ""
-  instructiont ||--o| goto_program_codet : ""
-  instructiont ||--o| source_locationt : ""
-  goto_program_codet ||--o| source_locationt : ""
 ```
 
 A `goto_modelt` is effectively a pair, consisting of: