Port of changes to test-gen-support to master (7)#1129

Closed

tautschnig wants to merge 34 commits intodiffblue:masterfrom

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Port of changes to test-gen-support to master (7)#1129

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

const refs and clean up

Adding refined_string_type to util Makefile

Adding string preprocessing of goto-programs to Makefile

Adding string solver cpp files to Makefile

Adding the string refinement option to the CBMC solvers

Change option name to --refine-strings

Restructuration of tests on strings