Code

TG-58 Java new array data in symex#1425

Code

Merged

romainbrenguier merged 10 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:feature/java_new_array_dataromainbrenguier/cbmc:feature/java_new_array_dataCopy head branch name to clipboard

Nov 3, 2017

Commits

Commits on Nov 1, 2017

• Add identifier and rename statement to java_new_array_data

  Show description for 6b519ad
  romainbrenguier

  committed
  6b519ad

  Copy full SHA for 6b519ad

• Check if object is nil before writing trace

  Show description for e36d7d8
  romainbrenguier

  committed
  e36d7d8

  Copy full SHA for e36d7d8

• Style: Replace assert by appropriate macros

  romainbrenguier

  committed
  fe2efa7

  Copy full SHA for fe2efa7

• Style: improve documentation in interpreter evaluate

  romainbrenguier

  committed
  465e5dc

  Copy full SHA for 465e5dc

• Use existing function for checking object is array

  romainbrenguier

  committed
  42c079d

  Copy full SHA for 42c079d

• Typo in goto_trace output

  romainbrenguier

  committed
  fc363b3

  Copy full SHA for fc363b3

• Doc: Summary for count_type_leaves

  romainbrenguier

  committed
  5a0343f

  Copy full SHA for 5a0343f

• Unit test for goto_trace::output

  romainbrenguier

  committed
  435958f

  Copy full SHA for 435958f

• Add unit test for goto_trace_output in Makefile

  romainbrenguier

  committed
  0dafac2

  Copy full SHA for 0dafac2

• Avoid using is_valid_java_array in builin_functions

  Show description for 1fa64a9
  romainbrenguier

  committed
  1fa64a9

  Copy full SHA for 1fa64a9