Port of changes to test-gen-support to master (1)#1123

Closed

tautschnig wants to merge 16 commits intodiffblue:masterfrom

tautschnig:java_bytecode-00-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