Code

Gather shadow memory fields#7535

Code

Merged

esteffin merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:shadow-memory-basic2peterschrammel/cbmc:shadow-memory-basic2Copy head branch name to clipboard

Mar 23, 2023

Commits

Commits on Mar 21, 2023

• Add extract_field_name in new shadow_memory_util.h/.cpp

  Show description for 2cd10e5
  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  2cd10e5

  Copy full SHA for 2cd10e5

• Implement shadow_memoryt::gather_field_declarations

  Show description for d84ee18
  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  d84ee18

  Copy full SHA for d84ee18

• Add tests for gathering shadow memory declarations

  Show description for f3543c4
  

  peterschrammel

  authored and

  Enrico Steffinlongo

  committed
  f3543c4

  Copy full SHA for f3543c4

• Fixed removed and deprecated call

  

  Enrico Steffinlongo

  committed
  addef03

  Copy full SHA for addef03