added test cases to check the string-solver#530

Merged

kroening merged 18 commits intodiffblue:masterfrom

lucasccordeiro:string-regression

Feb 26, 2017

Commits on Feb 22, 2017

added test cases related to classes pattern and matcher
lucasccordeiro
committed
added test cases related to string methods replaceFirst, replaceAll and split
lucasccordeiro
committed
added character static methods for testing characters and converting case
lucasccordeiro
committed
added test cases related to sringBuilder append methods
lucasccordeiro
committed
added stringBuilder methods length, setLength, capacity and ensureCapacity
lucasccordeiro
committed
added stringBuilder methods charAt, setCharAt, getChars and reverse
lucasccordeiro
committed
added test cases related to stringBuilder constructors
lucasccordeiro
committed
added stringBuilder methods insert, delete and deleteCharAt
lucasccordeiro
committed
added string methods equals, equalsIgnoreCase, compareTo and regionMatches
lucasccordeiro
committed
added test cases related to string method concat
lucasccordeiro
committed
added test cases related to string class constructors
lucasccordeiro
committed
added string searching methods indexOf and lastIndexOf
lucasccordeiro
committed
added string methods length, position, replace, toUpperCase, toLowerCase, and trim
lucasccordeiro
committed
added test cases related to string startsWith and endsWith
lucasccordeiro
committed
added test cases related to string valueOf methods
lucasccordeiro
committed
added test cases related to string class substring methods
lucasccordeiro
committed
added test cases related to StringTokenizer object used to tokenize strings
lucasccordeiro
committed
added test cases related to validate data from user using the ValidateInput class
lucasccordeiro
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

added test cases to check the string-solver#530

added test cases to check the string-solver#530
kroening merged 18 commits intodiffblue:masterfrom
lucasccordeiro:string-regression

Commits on Feb 22, 2017

added test cases related to classes pattern and matcher

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

added character static methods for testing characters and converting case

added test cases related to sringBuilder append methods

added stringBuilder methods length, setLength, capacity and ensureCapacity

added stringBuilder methods charAt, setCharAt, getChars and reverse

added test cases related to stringBuilder constructors

added stringBuilder methods insert, delete and deleteCharAt

added string methods equals, equalsIgnoreCase, compareTo and regionMatches

added test cases related to string method concat

added test cases related to string class constructors

added string searching methods indexOf and lastIndexOf

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

added test cases related to string startsWith and endsWith

added test cases related to string valueOf methods

added test cases related to string class substring methods

added test cases related to StringTokenizer object used to tokenize strings

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

added test cases to check the string-solver#530kroening merged 18 commits intodiffblue:masterdiffblue/cbmc:masterfrom lucasccordeiro:string-regressionlucasccordeiro/cbmc:string-regressionCopy head branch name to clipboard

Commits

Commits on Feb 22, 2017

added test cases to check the string-solver#530
kroening merged 18 commits intodiffblue:masterfrom
lucasccordeiro:string-regression