Code

Readding generic unit tests#1494

Code

Merged

thk123 merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:tests/adding-generic-unit-teststhk123/cbmc:tests/adding-generic-unit-testsCopy head branch name to clipboard

Oct 18, 2017

Commits

Commits on Oct 17, 2017

• Revert "test isn't ready yet"

  

  Thomas Kiley

  committed
  5d6ebfd

  Copy full SHA for 5d6ebfd

Commits on Oct 18, 2017

• Modified unit test to compile

  Show description for 69d67ab
  

  Thomas Kiley

  authored and

  thk123

  committed
  69d67ab

  Copy full SHA for 69d67ab