Delta debugging

tautschnig · Jan 13, 2025 · 1d9fe9c · 1d9fe9c
1 parent da89604
commit 1d9fe9c
Showing 1 changed file with 0 additions and 27 deletions.
diff --git a/doc/architectural/central-data-structures.md b/doc/architectural/central-data-structures.md
@@ -25,33 +25,6 @@ erDiagram
   symbol_tablet {
     symbol_map symbols
   }
-  symbol_tablet ||--o{ symbolt : ""
-  symbolt {
-    string name
-  }
-  goto_functionst {
-    function_map functions
-  }
-  goto_functionst ||--o{ goto_functiont : ""
-  goto_functiont {
-    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: