Code

Mark abstract classes as such #1084

Code

Merged

thk123 merged 2 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

thk123:feature/mark-abstract-classesthk123/cbmc:feature/mark-abstract-classesCopy head branch name to clipboard

Jul 7, 2017

Commits

Commits on Jul 7, 2017

• Store in the class_typet whether the class is abstract

  Show description for 41bb0d4
  

  thk123

  committed
  41bb0d4

  Copy full SHA for 41bb0d4

• Added unit tests to demonstrate the abstract flag

  Show description for 4193022
  

  thk123

  committed
  4193022

  Copy full SHA for 4193022