Code

Variant submodule#4344

Code

Closed

thk123 wants to merge 3 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:variant-submodulethk123/cbmc:variant-submoduleCopy head branch name to clipboard

Commits

Commits on Mar 7, 2019

• Add variant submodule

  

  thk123

  committed
  a9db042

  Copy full SHA for a9db042

Commits on Mar 8, 2019

• Run existing variant tests on travis

  

  thk123

  authored and

  Thomas Kiley

  committed
  e3edd5c

  Copy full SHA for e3edd5c

• Add basic unit test

  Show description for 8437b25
  

  thk123

  authored and

  Thomas Kiley

  committed
  8437b25

  Copy full SHA for 8437b25