From e89f8de9725f67f665cd7a2198b7a167eedd8bf8 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 13 Jan 2025 13:21:31 +0000 Subject: [PATCH] Delta debugging --- doc/architectural/central-data-structures.md | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/doc/architectural/central-data-structures.md b/doc/architectural/central-data-structures.md index 5365efb03bf..6df1b05df70 100644 --- 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: