Code

Add the Catch unit testing framework#874

Code

Merged

kroening merged 4 commits intodiffblue:masterdiffblue/cbmc:masterfrom thk123:feature/unit-test-frameworkthk123/cbmc:feature/unit-test-frameworkCopy head branch name to clipboardMay 15, 2017

+11,520-61

Commits

Commits on May 10, 2017

• Basic harness for unit tests

  Show description for 3391d45
  

  thk123

  committed
  3391d45

  Copy full SHA for 3391d45

• Add unit tests to the CI files

  Show description for de73265
  

  thk123

  committed
  de73265

  Copy full SHA for de73265

• Updated coding standard to explain unit testing

  Show description for b22210d
  

  thk123

  committed
  b22210d

  Copy full SHA for b22210d

• Renamed exe and added exes to gitignore

  

  thk123

  committed
  760e1fc

  Copy full SHA for 760e1fc