Code

Fix/freeze property literal#27

Code

Closed

mgudemann wants to merge 3 commits intomasterdiffblue/hw-cbmc:masterfrom fix/freeze_property_literaldiffblue/hw-cbmc:fix/freeze_property_literalCopy head branch name to clipboard

+827-4

Commits

Commits on Jul 21, 2017

• Freeze property literal

  Show description for 840b8f5
  

  Matthias Güdemann

  committed
  840b8f5

  Copy full SHA for 840b8f5

• Cast to size_t for signed value in assert

  Show description for d977f1e
  

  Matthias Güdemann

  committed
  d977f1e

  Copy full SHA for d977f1e

• Add regression test for checking same property

  

  Matthias Güdemann

  committed
  465e5d7

  Copy full SHA for 465e5d7