CBMC

cbmc:old-test-gen-support

  1. Git
  2. lp:cbmc
  3. old-test-gen-support
Last commit made on 2017-08-22
Get this branch:
git clone -b old-test-gen-support https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
old-test-gen-support
Repository:
lp:cbmc

Recent commits

960d2c3... by Peter Schrammel <email address hidden>

Merge pull request #1237 from zemanlx/feature/implement-travis-stages

Split jobs to two stages in Travis

0bcfc48... by Peter Schrammel <email address hidden>

Merge pull request #1253 from peterschrammel/bugfix/json-output-arrays

Fix JSON array output

f77c97d... by =?utf-8?q?Matthias_G=C3=BCdemann?= <email address hidden>

Merge pull request #1222 from owen-jones-diffblue/feature/java-long-to-string

Feature/java long to string

87007b0... by Owen Jones <email address hidden>

Tests for Long.toString and related functions

Added some unit tests and regression tests, and improved lots of
existing regression tests.

03fb38f... by Owen Jones <email address hidden>

Turn on Long.toString and improve implementation

After comparing them both, the constructive approach won out over the
non-constructive one. Also fixed a bug that the radix wasn't being evaluated
properly because we weren't calling simplify_expr.

2a40436... by Peter Schrammel <email address hidden>

Regression test for java arrays json output

3399a6b... by Peter Schrammel <email address hidden>

Documentation

8eab28e... by Peter Schrammel <email address hidden>

Some cleanup

ea73a26... by Peter Schrammel <email address hidden>

Consistently use ID_java_new_array for java arrays

5ccdbea... by Peter Schrammel <email address hidden>

Replace simplify_index by simplify_expr