Port of changes to test-gen-support to master (2)#1124

Closed

tautschnig wants to merge 17 commits intodiffblue:masterfrom

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Port of changes to test-gen-support to master (2)#1124

Commits on Jul 13, 2017

Get symbol of member expression

Auxiliary function to check if the ssa has enough data to build an identifier

Bitwise operators for mpinteger

Auxiliary function to retrieve tail of trace and added dead command to trace

Fix arithmetic shift operators

Added a new class for handling the internals

Adding more symbols that should be excluded

Autocomplete script for bash

Support for Java assume

Regression tests for Java assume

Remove assume as coverage target

output covered lines as CSV in show_properties

compress list of lines into line ranges

add regression test for coverage lines

fix problem with missing comma / range fix for reaching end

Updated dump-C to use the new class

update interpreter