Port of changes to test-gen-support to master (14)#1137

Closed

tautschnig wants to merge 49 commits intodiffblue:masterfrom

tautschnig:java_bytecode-13-from-test-gen-support

Commits on Jul 13, 2017

Get symbol of member expression

dcattaruzza
authored and
tautschnig
committed
Auxiliary function to check if the ssa has enough data to build an identifier

dcattaruzza
authored and
tautschnig
committed
Bitwise operators for mpinteger

dcattaruzza
authored and
tautschnig
committed
Auxiliary function to retrieve tail of trace and added dead command to trace

dcattaruzza
authored and
tautschnig
committed
Fix arithmetic shift operators

smowton
authored and
tautschnig
committed
Added a new class for handling the internals

thk123
authored and
tautschnig
committed
Adding more symbols that should be excluded

thk123
authored and
tautschnig
committed
Autocomplete script for bash

forejtv
authored and
tautschnig
committed
Support for Java assume

cristina-david
authored and
tautschnig
committed
Regression tests for Java assume

cristina-david
authored and
tautschnig
committed
Remove assume as coverage target

cristina-david
authored and
tautschnig
committed
output covered lines as CSV in show_properties

Matthias Güdemann
authored and
tautschnig
committed
compress list of lines into line ranges

Matthias Güdemann
authored and
tautschnig
committed
add regression test for coverage lines

Matthias Güdemann
authored and
tautschnig
committed
fix problem with missing comma / range fix for reaching end

Matthias Güdemann
authored and
tautschnig
committed
Updated dump-C to use the new class

thk123
authored and
tautschnig
committed
update interpreter

Matthias Güdemann
authored and
tautschnig
committed
Preprocessing of goto programs for string refinement

romainbrenguier
authored and
tautschnig
committed
Moving is_java_string_type functions to string_preprocess

romainbrenguier
authored and
tautschnig
committed
Moving refined_string_type to util

romainbrenguier
authored and
tautschnig
committed
Removed distinction between c string type and refined string type

romainbrenguier
authored and
tautschnig
committed
Removed mention of c string type

romainbrenguier
authored and
tautschnig
committed
Making add_string_type more generic

romainbrenguier
authored and
tautschnig
committed
new identifier for converting char pointer to array

romainbrenguier
authored and
tautschnig
committed
Many corrections in preprocessing of strings

romainbrenguier
authored and
tautschnig
committed
Many corrections in string refinement

romainbrenguier
authored and
tautschnig
committed
Need to assign length before calls since it can be overwritten by functions with side-effect

romainbrenguier
authored and
tautschnig
committed
const refs and clean up

Joel Allred
authored and
tautschnig
committed
Adding refined_string_type to util Makefile

romainbrenguier
authored and
tautschnig
committed
Adding string preprocessing of goto-programs to Makefile

romainbrenguier
authored and
tautschnig
committed
Adding string solver cpp files to Makefile

romainbrenguier
authored and
tautschnig
committed
Adding the string refinement option to the CBMC solvers

romainbrenguier
authored and
tautschnig
committed
Change option name to --refine-strings

Joel Allred
authored and
tautschnig
committed
Restructuration of tests on strings

Joel Allred
authored and
tautschnig
committed
New class for sparse vectors in util

romainbrenguier
authored and
tautschnig
committed
Interpreter: switch to sparse vector memory map

romainbrenguier
authored and
tautschnig
committed
Add support for unbounded-size objects

romainbrenguier
authored and
tautschnig
committed
Display dynamic object names as 'data' in JSON traces

peterschrammel
authored and
tautschnig
committed
set internal for specific variables in the counterexample trace for test-gen-support

lucasccordeiro
authored and
tautschnig
committed
added internal field to json output

lucasccordeiro
authored and
tautschnig
committed
Add includes to sparse_vector.h

Joel Allred
authored and
tautschnig
committed
Adding conversion for functions of the Java Character library

romainbrenguier
authored and
tautschnig
committed
Corrected type problem for the function Character.forDigit:(II)C

romainbrenguier
authored and
tautschnig
committed
Adding options to cbmc for parameters of the string solver

romainbrenguier
authored and
tautschnig
committed
Added option to the string solver for string length and printability

romainbrenguier
authored and
tautschnig
committed
Bug corrections in string refinement

romainbrenguier
authored and
tautschnig
committed
Implement function-only coverage

smowton
authored and
tautschnig
committed
Apply review comments to coverage code

smowton
authored and
tautschnig
committed
Restore array skip-initialize flag

smowton
authored and
tautschnig
committed