Code

Test-gen support#579

Code

Merged

peterschrammel merged 59 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

peterschrammel:test-gen-supportpeterschrammel/cbmc:test-gen-supportCopy head branch name to clipboard

Mar 2, 2017

Commits

Commits on Mar 2, 2017

•  added test cases related to classes pattern and matcher

  Show description for 506505e
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  506505e

  Copy full SHA for 506505e

•  added test cases related to string methods replaceFirst, replaceAll and split

  Show description for b6c54a6
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  b6c54a6

  Copy full SHA for b6c54a6

•  added character static methods for testing characters and converting case

  Show description for 9e6ea68
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  9e6ea68

  Copy full SHA for 9e6ea68

•  added test cases related to sringBuilder append methods

  Show description for 0b05615
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  0b05615

  Copy full SHA for 0b05615

•  added stringBuilder methods length, setLength, capacity and ensureCapacity

  Show description for 5018776
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  5018776

  Copy full SHA for 5018776

•  added stringBuilder methods charAt, setCharAt, getChars and reverse

  Show description for c869809
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  c869809

  Copy full SHA for c869809

•  added test cases related to stringBuilder constructors

  Show description for c7bcdf4
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  c7bcdf4

  Copy full SHA for c7bcdf4

•  added stringBuilder methods insert, delete and deleteCharAt

  Show description for 2026b14
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  2026b14

  Copy full SHA for 2026b14

•  added string methods equals, equalsIgnoreCase, compareTo and regionMatches

  Show description for 77ca2d1
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  77ca2d1

  Copy full SHA for 77ca2d1

•  added test cases related to string method concat

  Show description for 48a1df8
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  48a1df8

  Copy full SHA for 48a1df8

•  added test cases related to string class constructors

  Show description for cd1d392
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  cd1d392

  Copy full SHA for cd1d392

•  added string searching methods indexOf and lastIndexOf

  Show description for f0cffa6
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  f0cffa6

  Copy full SHA for f0cffa6

•  added string methods length, position, replace, toUpperCase, toLowerCase, and trim

  Show description for b5d6a13
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  b5d6a13

  Copy full SHA for b5d6a13

•  added test cases related to string startsWith and endsWith

  Show description for ccf8410
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  ccf8410

  Copy full SHA for ccf8410

•  added test cases related to string valueOf methods

  Show description for 846f168
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  846f168

  Copy full SHA for 846f168

•  added test cases related to string class substring methods

  Show description for 47dbc2e
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  47dbc2e

  Copy full SHA for 47dbc2e

•  added test cases related to StringTokenizer object used to tokenize strings

  Show description for b8f2f5a
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  b8f2f5a

  Copy full SHA for b8f2f5a

•  added test cases related to validate data from user using the ValidateInput class

  Show description for 02df7f1
  

  lucasccordeiro

  authored and

  peterschrammel

  committed
  02df7f1

  Copy full SHA for 02df7f1

• cleanup aa-path-symex and aa-symex

  

  Daniel Kroening

  authored and

  peterschrammel

  committed
  4fc5780

  Copy full SHA for 4fc5780

• Fix failing travis tests after removal of aa-symex.

  

  Vlastimil Zeman

  authored and

  peterschrammel

  committed
  fdd8121

  Copy full SHA for fdd8121

• Skip already-loaded Java classes

  

  smowton

  authored and

  peterschrammel

  committed
  895f8a6

  Copy full SHA for 895f8a6

• Convert Java methods only when they have a caller

  Show description for 777d52e
  

  smowton

  authored and

  peterschrammel

  committed
  777d52e

  Copy full SHA for 777d52e

• Remove dead global variables

  Show description for b7a7bfb
  

  smowton

  authored and

  peterschrammel

  committed
  b7a7bfb

  Copy full SHA for b7a7bfb

• Restrict virtual method targets to known-created types

  Show description for caf804e
  

  smowton

  authored and

  peterschrammel

  committed
  caf804e

  Copy full SHA for caf804e

• Mark all classes in root jar reachable if it doesn't declare a main function

  

  smowton

  authored and

  peterschrammel

  committed
  6e1133d

  Copy full SHA for 6e1133d

• Add this-parameter before determining needed classes

  Show description for 49bfea4
  

  smowton

  authored and

  peterschrammel

  committed
  49bfea4

  Copy full SHA for 49bfea4

• Lazy method conversion: load callee parent classes

  Show description for e12448b
  

  smowton

  authored and

  peterschrammel

  committed
  e12448b

  Copy full SHA for e12448b

• Always assume String, Class and Object are callable

  

  smowton

  authored and

  peterschrammel

  committed
  d20bdc6

  Copy full SHA for d20bdc6

• Don't try to call an abstract function

  

  smowton

  authored and

  peterschrammel

  committed
  93af038

  Copy full SHA for 93af038

• Make lazy method loading optional

  

  smowton

  authored and

  peterschrammel

  committed
  21decbb

  Copy full SHA for 21decbb

• Add CBMC lazy-methods parameter

  Show description for 2f47cba
  

  smowton

  authored and

  peterschrammel

  committed
  2f47cba

  Copy full SHA for 2f47cba

• Document lazy methods

  

  smowton

  authored and

  peterschrammel

  committed
  311806e

  Copy full SHA for 311806e

• Style fixes

  

  smowton

  authored and

  peterschrammel

  committed
  4910520

  Copy full SHA for 4910520

• Add lazy loading tests

  

  smowton

  authored and

  peterschrammel

  committed
  9474d56

  Copy full SHA for 9474d56

• Improve code style

  Show description for 5c5bd7a
  

  smowton

  authored and

  peterschrammel

  committed
  5c5bd7a

  Copy full SHA for 5c5bd7a

• Use safe pointers for optional arguments

  Show description for 86bef23
  

  smowton

  authored and

  peterschrammel

  committed
  86bef23

  Copy full SHA for 86bef23

• Add lazy conversion documentation

  Show description for ffef5d7
  

  smowton

  authored and

  peterschrammel

  committed
  ffef5d7

  Copy full SHA for ffef5d7

• Improve failed test printer

  

  smowton

  authored and

  peterschrammel

  committed
  a30720b

  Copy full SHA for a30720b

• Remove aa-symex from DIRS variable in Makefile

  Show description for 8809a4c
  

  Norbert Manthey

  authored and

  peterschrammel

  committed
  8809a4c

  Copy full SHA for 8809a4c

• Don't allowing functions called from _Start to be inlined

  Show description for 6c0ff32
  

  thk123

  authored and

  peterschrammel

  committed
  6c0ff32

  Copy full SHA for 6c0ff32

• Get symbol of member expression

  

  dcattaruzza

  authored and

  peterschrammel

  committed
  d47d503

  Copy full SHA for d47d503

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

  

  dcattaruzza

  authored and

  peterschrammel

  committed
  27153d1

  Copy full SHA for 27153d1

• Bitwise operators for mpinteger

  

  dcattaruzza

  authored and

  peterschrammel

  committed
  2987406

  Copy full SHA for 2987406

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

  

  dcattaruzza

  authored and

  peterschrammel

  committed
  d81dd75

  Copy full SHA for d81dd75

• Fix arithmetic shift operators

  Show description for 7fb8174
  

  smowton

  authored and

  peterschrammel

  committed
  7fb8174

  Copy full SHA for 7fb8174

• Added a new class for handling the internals

  Show description for fb616c5
  

  thk123

  authored and

  peterschrammel

  committed
  fb616c5

  Copy full SHA for fb616c5

• Adding more symbols that should be excluded

  Show description for fc756f3
  

  thk123

  authored and

  peterschrammel

  committed
  fc756f3

  Copy full SHA for fc756f3

• Autocomplete script for bash

  Show description for 2f5b866
  

  forejtv

  authored and

  peterschrammel

  committed
  2f5b866

  Copy full SHA for 2f5b866

• Factor class identifier extraction out of remove virtuals

  Show description for d485c88
  

  smowton

  authored and

  peterschrammel

  committed
  d485c88

  Copy full SHA for d485c88

• Discover lexical scopes for anonymous variables

  Show description for 99eb1a0
  

  smowton

  authored and

  peterschrammel

  committed
  99eb1a0

  Copy full SHA for 99eb1a0

• loop unwinding in static init of Java enum

  Show description for 7ac505d
  

  mgudemann

  authored and

  peterschrammel

  committed
  7ac505d

  Copy full SHA for 7ac505d

• Support for Java assume

  

  cristina-david

  authored and

  peterschrammel

  committed
  0cf34af

  Copy full SHA for 0cf34af

• Regression tests for Java assume

  

  cristina-david

  authored and

  peterschrammel

  committed
  1436e39

  Copy full SHA for 1436e39

• Remove assume as coverage target

  

  cristina-david

  authored and

  peterschrammel

  committed
  5c30907

  Copy full SHA for 5c30907

• output covered lines as CSV in show_properties

  

  Matthias Güdemann

  authored and

  peterschrammel

  committed
  e55f20b

  Copy full SHA for e55f20b

• compress list of lines into line ranges

  

  Matthias Güdemann

  authored and

  peterschrammel

  committed
  2ae1f47

  Copy full SHA for 2ae1f47

• add regression test for coverage lines

  

  Matthias Güdemann

  authored and

  peterschrammel

  committed
  f5f47a7

  Copy full SHA for f5f47a7

• fix problem with missing comma / range fix for reaching end

  

  Matthias Güdemann

  authored and

  peterschrammel

  committed
  02d2b9d

  Copy full SHA for 02d2b9d

• Updated dump-C to use the new class

  

  thk123

  authored and

  peterschrammel

  committed
  b7d828b

  Copy full SHA for b7d828b