Files

.githooks
cmake
doc
pkg
regression
- acceleration
- ansi-c
- array-refinement-with-incr
- array-refinement
- cbmc-concurrency
- cbmc-cover
- cbmc-cpp
- cbmc-from-CVS
- cbmc-incr-oneloop
- cbmc-incr
- cbmc-java-inheritance
- cbmc-java
- cbmc-with-incr
- cbmc
- cpp-from-CVS
- cpp-linter
- cpp
- fault-localization
- goto-analyzer-taint
- goto-analyzer
- goto-cc-cbmc
- goto-cc-goto-analyzer
- goto-diff
- goto-gcc
- goto-instrument-typedef
- goto-instrument-wmm-core
- goto-instrument
- invariants
- jbmc-cover
- jbmc-strings
  - CharacterGetNumericValue
  - RegexMatches01
  - RegexMatches02
  - RegexSubstitution01
  - RegexSubstitution02
  - RegexSubstitution03
  - StaticCharMethods01
  - StaticCharMethods02
  - StaticCharMethods03
  - StaticCharMethods04
  - StaticCharMethods05
  - StaticCharMethods06
  - StringBuilderAppend01
  - StringBuilderAppend02
  - StringBuilderCapLen01
  - StringBuilderCapLen02
  - StringBuilderCapLen03
  - StringBuilderCapLen04
  - StringBuilderChars01
  - StringBuilderChars02
  - StringBuilderChars03
  - StringBuilderChars04
  - StringBuilderChars05
  - StringBuilderChars06
  - StringBuilderConstructors01
  - StringBuilderConstructors02
  - StringBuilderInsertDelete01
  - StringBuilderInsertDelete02
  - StringBuilderInsertDelete03
  - StringCompare01
  - StringCompare02
  - StringCompare03
  - StringCompare04
  - StringCompare05
  - StringConcatenation01
  - StringConcatenation02
  - StringConcatenation03
  - StringConcatenation04
  - StringConstructors01
  - StringConstructors02
  - StringConstructors03
  - StringConstructors04
  - StringConstructors05
  - StringContains01
  - StringContains02
  - StringIndexMethods01
  - StringIndexMethods02
  - StringIndexMethods03
  - StringIndexMethods04
  - StringIndexMethods05
  - StringMiscellaneous01
  - StringMiscellaneous02
  - StringMiscellaneous03
  - StringMiscellaneous04
  - StringStartEnd01
  - StringStartEnd02
  - StringStartEnd03
  - StringValueOf01
  - StringValueOf02
  - StringValueOf03
  - StringValueOf04
  - StringValueOf05
  - StringValueOf06
  - StringValueOf07
  - StringValueOf08
  - StringValueOf09
  - StringValueOf10
  - SubString01
  - SubString02
  - SubString03
  - TokenTest01
  - TokenTest02
  - Validate01
  - Validate02
  - bug-test-gen-095
  - bug-test-gen-119-2
  - bug-test-gen-119
  - java_append_char
  - java_append_int
  - java_append_object
  - java_append_string
  - java_case
  - java_char_array
  - java_char_array_init
  - java_char_at
  - java_code_point
  - java_compare
  - java_concat
  - java_contains
  - java_delete
    - test.desc
    - test_delete.class
    - test_delete.java
  - java_delete_char_at
  - java_easychair
  - java_empty
  - java_endswith
  - java_equal
  - java_float
  - java_hash_code
  - java_index_of
  - java_index_of_char
  - java_insert_char
  - java_insert_char_array
  - java_insert_int
  - java_insert_multiple
  - java_insert_string
  - CMakeLists.txt
  - Makefile
- k-induction
- strings-smoke-tests
- strings
- test-script
- .gitignore
- CMakeLists.txt
- Makefile
- failed-tests-printer.pl
- get_coverage.sh
- goto-instrument-wmm-full.tgz
- test.pl
scripts
src
unit
.dir-locals.el
.editorconfig
.gitattributes
.gitignore
.travis.yml
CHANGELOG
CMakeLists.txt
CODING_STANDARD.md
COMPILING
LICENSE
README.md
appveyor.yml