Port of changes to test-gen-support to master (4)#1126

Closed

tautschnig wants to merge 27 commits intodiffblue:masterfrom

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Port of changes to test-gen-support to master (4)#1126

Port of changes to test-gen-support to master (4)#1126
tautschnig wants to merge 27 commits intodiffblue:masterfrom
tautschnig:java_bytecode-03-from-test-gen-support

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

Preprocessing of goto programs for string refinement

Moving is_java_string_type functions to string_preprocess

Moving refined_string_type to util

Removed distinction between c string type and refined string type

Removed mention of c string type

Making add_string_type more generic

new identifier for converting char pointer to array

Many corrections in preprocessing of strings

Many corrections in string refinement

Need to assign length before calls since it can be overwritten by functions with side-effect

Port of changes to test-gen-support to master (4)#1126tautschnig wants to merge 27 commits intodiffblue:masterdiffblue/cbmc:masterfrom tautschnig:java_bytecode-03-from-test-gen-supporttautschnig/cbmc:java_bytecode-03-from-test-gen-supportCopy head branch name to clipboard

Commits

Commits on Jul 13, 2017

Port of changes to test-gen-support to master (4)#1126
tautschnig wants to merge 27 commits intodiffblue:masterfrom
tautschnig:java_bytecode-03-from-test-gen-support