Commits

Branch selector

 example-diffblue-tests

User selector

All users

All time

Commit History

Commits on Apr 7, 2017

• Merge pull request #8 from jgwilson42/diffblue-tests

  Show description for cbc6475
  peterjwest

  authored
  cbc6475

  Copy full SHA for cbc6475

Commits on Mar 20, 2017

• Added two testcases from Diffblue

  

  jgwilson42

  committed
  590ab62

  Copy full SHA for 590ab62

Commits on Feb 16, 2017

• Merge pull request #2 from royletron/master

  Show description for fe9a429
  rjmunro

  authored
  fe9a429

  Copy full SHA for fe9a429

Commits on Feb 6, 2017

• Removing units

  

  Darren

  authored
  3b43dc7

  Copy full SHA for 3b43dc7

• Update diffblue.yml

  

  Darren

  authored
  98932de

  Copy full SHA for 98932de

Commits on Dec 15, 2016

• Adding CBMC arguments to diffblue.yml

  

  Darren

  authored
  cb27cd7

  Copy full SHA for cb27cd7

Commits on Dec 13, 2016

• Adding testCmd and reportFile attributes

  Show description for 0f48fe7
  

  Darren Royle

  committed
  0f48fe7

  Copy full SHA for 0f48fe7

Commits on Dec 12, 2016

• Add initial diffblue.yml config file

  rjmunro

  committed
  d6d3bd4

  Copy full SHA for d6d3bd4

Commits on Nov 30, 2016

• Some more examples

  forejtv

  committed
  b773894

  Copy full SHA for b773894

Commits on Sep 13, 2016

• add some more stuff

  

  Peter Schrammel

  committed
  dc3df41

  Copy full SHA for dc3df41

Commits on Aug 29, 2016

• check for div by 0

  

  Peter Schrammel

  committed
  1ec36fa

  Copy full SHA for 1ec36fa

• div with test

  

  Peter Schrammel

  committed
  801ce70

  Copy full SHA for 801ce70

Commits on Aug 28, 2016

• added Main

  

  Peter Schrammel

  committed
  7ff0bed

  Copy full SHA for 7ff0bed

• readme

  

  Peter Schrammel

  committed
  0be1470

  Copy full SHA for 0be1470