Code

Cleanup irep serialization#3116

Code

Merged

tautschnig merged 5 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup-irep-serializationtautschnig/cbmc:cleanup-irep-serializationCopy head branch name to clipboard

Oct 8, 2018

Commits

Commits on Oct 8, 2018

• Cleanup comments in irep_serializationt

  Show description for 04241ab
  tautschnig

  committed
  04241ab

  Copy full SHA for 04241ab

• irept serialization: add additional sanity checks

  Show description for 9474d07
  tautschnig

  committed
  9474d07

  Copy full SHA for 9474d07

• Inline irep_serializationt::insert_on_read

  Show description for 0ae2a58
  tautschnig

  committed
  0ae2a58

  Copy full SHA for 0ae2a58

• Inline irep_serializationt::insert_on_write

  Show description for 2a83427
  tautschnig

  committed
  2a83427

  Copy full SHA for 2a83427

• Simplification of irep_serializationt::read_string_ref

  Show description for 2150648
  tautschnig

  committed
  2150648

  Copy full SHA for 2150648