Code

Add test for ait framework#2616

Code

Merged

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom smowton:smowton/admin/ai-unit-testsmowton/cbmc:smowton/admin/ai-unit-testCopy head branch name to clipboardJul 26, 2018

+298

Commits

Commits on Jul 26, 2018

• Add test for ait framework

  smowton

  committed
  4156283

  Copy full SHA for 4156283