data/cbmc-5.12/CHANGELOG:5: supercedes ==> supersedes
data/cbmc-5.12/CHANGELOG:156: accelleration ==> acceleration
data/cbmc-5.12/COMPILING.md:220: shoud ==> should
data/cbmc-5.12/MINI-PROJECTS.md:4: focussed ==> focused
data/cbmc-5.12/README.md:51: focussed ==> focused
data/cbmc-5.12/doc/satabs-user-manual.md:540: filp ==> flip
data/cbmc-5.12/doc/satabs-user-manual.md:632: ment ==> meant
data/cbmc-5.12/doc/satabs-user-manual.md:641: ment ==> meant
data/cbmc-5.12/doc/satabs-user-manual.md:642: ment ==> meant
data/cbmc-5.12/doc/satabs-user-manual.md:643: ment ==> meant
data/cbmc-5.12/doc/architectural/howto.md:237: menas ==> means
data/cbmc-5.12/doc/assets/driver.c:13: filp ==> flip
data/cbmc-5.12/doc/assets/driver.c:25: filp ==> flip
data/cbmc-5.12/doc/assets/driver.c:39: filp ==> flip
data/cbmc-5.12/doc/slides/cbmc-latex-beamer/cbmc-slides.tex:246: enourmous ==> enormous
data/cbmc-5.12/jbmc/regression/jbmc-concurrency/anonymous-java.lang.thread/A.java:8: verfication ==> verification
data/cbmc-5.12/jbmc/regression/jbmc-concurrency/anonymous-java.lang.thread/A.java:24: verfication ==> verification
data/cbmc-5.12/jbmc/regression/jbmc-concurrency/java-lang-runnable/A.java:10: verfication ==> verification
data/cbmc-5.12/jbmc/regression/jbmc-concurrency/java-lang-runnable/A.java:20: verfication ==> verification
data/cbmc-5.12/jbmc/regression/jbmc-concurrency/java-lang-runnable/A.java:28: verfication ==> verification
data/cbmc-5.12/jbmc/regression/jbmc-concurrency/java-lang-runnable/A.java:35: verfication ==> verification
data/cbmc-5.12/jbmc/regression/jbmc-concurrency/java-lang-thread/A.java:10: verfication ==> verification
data/cbmc-5.12/jbmc/regression/jbmc-concurrency/java-lang-thread/A.java:19: verfication ==> verification
data/cbmc-5.12/jbmc/regression/jbmc-concurrency/java-lang-thread/A.java:28: verfication ==> verification
data/cbmc-5.12/jbmc/regression/jbmc-concurrency/java-lang-thread/A.java:35: verfication ==> verification
data/cbmc-5.12/jbmc/regression/jbmc-strings/StringBuilderChars02/StringBuilderChars02.java:6: Limitted ==> Limited
data/cbmc-5.12/jbmc/regression/jbmc-strings/StringBuilderSetCharAt/test_det.desc:10: informations ==> information
data/cbmc-5.12/jbmc/regression/jbmc-strings/StringBuilderSetCharAt/test_nondet.desc:10: informations ==> information
data/cbmc-5.12/jbmc/regression/jbmc-strings/StringMiscellaneous04/StringMiscellaneous04.java:9: arbitrarly ==> arbitrarily, arbitrary
data/cbmc-5.12/jbmc/regression/jbmc-strings/StringStartEnd01/StringStartEnd01.java:10: te ==> the, be, we
data/cbmc-5.12/jbmc/regression/jbmc-strings/StringStartEnd02/StringStartEnd02.java:10: te ==> the, be, we
data/cbmc-5.12/jbmc/regression/jbmc-strings/StringToLowerCase/test_det.desc:10: informations ==> information
data/cbmc-5.12/jbmc/regression/jbmc-strings/StringToLowerCase/test_nondet.desc:10: informations ==> information
data/cbmc-5.12/jbmc/regression/jbmc-strings/StringToUpperCase/test_det.desc:10: informations ==> information
data/cbmc-5.12/jbmc/regression/jbmc-strings/StringToUpperCase/test_nondet.desc:10: informations ==> information
data/cbmc-5.12/jbmc/regression/jbmc-strings/StringValueOfInt/test_det.desc:10: informations ==> information
data/cbmc-5.12/jbmc/regression/jbmc-strings/StringValueOfInt/test_nondet.desc:10: informations ==> information
data/cbmc-5.12/jbmc/regression/jbmc-strings/string-input-value/Test.java:4: fo ==> of, for
data/cbmc-5.12/jbmc/regression/jbmc-strings/string-input-value/test1.desc:3: fo ==> of, for
data/cbmc-5.12/jbmc/regression/jbmc/context-include-exclude/test_exclude_package_prefix.desc:3: ot ==> to, of, or
data/cbmc-5.12/jbmc/regression/jbmc/lambda1/Lambdatest.java:149: intialized ==> initialized
data/cbmc-5.12/jbmc/regression/jbmc/lvt-unexpected/test.desc:10: preceeded ==> preceded, proceeded
data/cbmc-5.12/jbmc/regression/jbmc/phi-merge_uninitialized_values/field.desc:11: dosen't ==> doesn't
data/cbmc-5.12/jbmc/regression/jbmc/phi-merge_uninitialized_values/local.desc:11: dosen't ==> doesn't
data/cbmc-5.12/jbmc/regression/jbmc/phi-merge_uninitialized_values/static_field.desc:11: dosen't ==> doesn't
data/cbmc-5.12/jbmc/regression/jbmc/very-long-jumps/NopJumps.j:13: otheriwse ==> otherwise
data/cbmc-5.12/jbmc/regression/strings-smoke-tests/java_char_array/test_char_array.java:9: arbitrarly ==> arbitrarily, arbitrary
data/cbmc-5.12/jbmc/src/java_bytecode/README.md:436: referenence ==> reference
data/cbmc-5.12/jbmc/src/java_bytecode/README.md:700: stragegy ==> strategy
data/cbmc-5.12/jbmc/src/java_bytecode/character_refine_preprocess.cpp:1302: correspondance ==> correspondence
data/cbmc-5.12/jbmc/src/java_bytecode/expr2java.cpp:202: charater ==> character
data/cbmc-5.12/jbmc/src/java_bytecode/jar_pool.h:17: chache ==> cache
data/cbmc-5.12/jbmc/src/java_bytecode/java_bytecode_convert_class.cpp:147: ignord ==> ignored
data/cbmc-5.12/jbmc/src/java_bytecode/java_bytecode_convert_class.cpp:637: teh ==> the
data/cbmc-5.12/jbmc/src/java_bytecode/java_bytecode_language.cpp:447: inheritence ==> inheritance
data/cbmc-5.12/jbmc/src/java_bytecode/java_bytecode_language.cpp:1461: explictly ==> explicitly
data/cbmc-5.12/jbmc/src/java_bytecode/java_bytecode_parser.cpp:1977: hanlde ==> handle
data/cbmc-5.12/jbmc/src/java_bytecode/java_class_loader.h:62: nontheless ==> nonetheless
data/cbmc-5.12/jbmc/src/java_bytecode/java_entry_point.h:56: initalized ==> initialized
data/cbmc-5.12/jbmc/src/java_bytecode/java_object_factory.cpp:461: initalizing ==> initializing
data/cbmc-5.12/jbmc/src/java_bytecode/java_object_factory.cpp:602: asign ==> assign
data/cbmc-5.12/jbmc/src/java_bytecode/java_object_factory.cpp:664: initalize ==> initialize
data/cbmc-5.12/jbmc/src/java_bytecode/java_static_initializers.cpp:193: eqaul ==> equal
data/cbmc-5.12/jbmc/src/java_bytecode/java_static_initializers.cpp:569: commment ==> comment
data/cbmc-5.12/jbmc/src/java_bytecode/java_static_initializers.cpp:799: specifed ==> specified
data/cbmc-5.12/jbmc/src/java_bytecode/java_static_initializers.h:78: objets ==> objects
data/cbmc-5.12/jbmc/src/java_bytecode/java_string_library_preprocess.cpp:797: assignemnt ==> assignment
data/cbmc-5.12/jbmc/src/java_bytecode/java_types.cpp:551: TE ==> THE, BE, WE
data/cbmc-5.12/jbmc/src/java_bytecode/java_types.cpp:552: TE ==> THE, BE, WE
data/cbmc-5.12/jbmc/src/java_bytecode/java_types.cpp:889: elemnt ==> element
data/cbmc-5.12/jbmc/src/java_bytecode/java_types.h:1138: pacakge ==> package
data/cbmc-5.12/jbmc/src/java_bytecode/pattern.h:18: appart ==> apart
data/cbmc-5.12/jbmc/src/java_bytecode/remove_exceptions.cpp:67: correponding ==> corresponding
data/cbmc-5.12/jbmc/src/java_bytecode/remove_instanceof.h:64: comparision ==> comparison
data/cbmc-5.12/jbmc/src/java_bytecode/simple_method_stubbing.cpp:261: fromal ==> formal
data/cbmc-5.12/jbmc/src/miniz/miniz.cpp:727: hist ==> heist, his
data/cbmc-5.12/jbmc/src/miniz/miniz.cpp:729: hist ==> heist, his
data/cbmc-5.12/jbmc/src/miniz/miniz.cpp:733: hist ==> heist, his
data/cbmc-5.12/jbmc/src/miniz/miniz.cpp:734: hist ==> heist, his
data/cbmc-5.12/jbmc/src/miniz/miniz.cpp:736: hist ==> heist, his
data/cbmc-5.12/jbmc/src/miniz/miniz.cpp:740: hist ==> heist, his
data/cbmc-5.12/jbmc/src/miniz/miniz.h:14: similiar ==> similar
data/cbmc-5.12/jbmc/src/miniz/miniz.h:27: occured ==> occurred
data/cbmc-5.12/jbmc/src/miniz/miniz.h:1331: poiner ==> pointer
data/cbmc-5.12/jbmc/unit/java-testing-utils/require_goto_statements.h:10: Utilties ==> Utilities
data/cbmc-5.12/jbmc/unit/java-testing-utils/require_parse_tree.h:10: Utilties ==> Utilities
data/cbmc-5.12/jbmc/unit/java-testing-utils/require_type.cpp:60: componet ==> component
data/cbmc-5.12/jbmc/unit/java-testing-utils/require_type.cpp:67: componet ==> component
data/cbmc-5.12/jbmc/unit/java-testing-utils/require_type.cpp:68: componet ==> component
data/cbmc-5.12/jbmc/unit/java_bytecode/ci_lazy_methods/lazy_load_lambdas.cpp:194: seperate ==> separate
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_initalizers.cpp:120: initalizer ==> initializer
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_initalizers.cpp:131: initalizer ==> initializer
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_initalizers.cpp:131: initalizer ==> initializer
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_initalizers.cpp:148: initalizer ==> initializer
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_initalizers.cpp:159: initalizer ==> initializer
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_initalizers.cpp:175: initalizer ==> initializer
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_initalizers.cpp:206: initalizer ==> initializer
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_invoke_dynamic.cpp:247: Interger ==> Integer
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_invoke_dynamic.cpp:276: Interger ==> Integer
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_invoke_dynamic.cpp:435: Interger ==> Integer
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_invoke_dynamic.cpp:460: Interger ==> Integer
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_invoke_dynamic.cpp:607: Interger ==> Integer
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_convert_method/convert_invoke_dynamic.cpp:632: Interger ==> Integer
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_parse_lambdas/java_bytecode_parse_lambda_method_table.cpp:568: requries ==> requires
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_parse_lambdas/java_bytecode_parse_lambda_method_table.cpp:876: requries ==> requires
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_parse_lambdas/java_bytecode_parse_lambda_method_table.cpp:1030: requries ==> requires
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_parse_lambdas/lambda_examples/readme.md:8: compilier ==> compiler
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_parse_lambdas/lambda_examples/readme.md:18: compilier ==> compiler
data/cbmc-5.12/jbmc/unit/java_bytecode/java_bytecode_parse_lambdas/lambda_examples/readme.md:38: distibuted ==> distributed
data/cbmc-5.12/jbmc/unit/java_bytecode/java_types/java_type_from_string.cpp:22: TE ==> THE, BE, WE
data/cbmc-5.12/jbmc/unit/java_bytecode/java_types/java_type_from_string.cpp:24: TE ==> THE, BE, WE
data/cbmc-5.12/jbmc/unit/solvers/strings/string_constraint_instantiation/instantiate_not_contains.cpp:5: Sigal ==> Signal, sigil
data/cbmc-5.12/jbmc/unit/solvers/strings/string_constraint_instantiation/instantiate_not_contains.cpp:5: sigal ==> signal, sigil
data/cbmc-5.12/regression/test.pl:330: regualar ==> regular
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:5843: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:12891: Pres ==> Press
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:24146: nNumber ==> number
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:94341: tolen ==> token
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:130084: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:130085: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:130086: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:130087: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:130088: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:130107: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:130108: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:130109: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:130110: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:130111: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:130597: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:130598: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:130599: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:137459: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:152697: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:152711: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:152791: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:152811: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:152929: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:152943: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:152974: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:153033: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:153625: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:153640: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:153652: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:153662: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:174435: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2005/main.i:184429: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:7597: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:16467: Pres ==> Press
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:31566: nNumber ==> number
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:114411: fAllow ==> follow
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:119687: tolen ==> token
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:165119: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:165120: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:165121: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:170533: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:182803: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:182817: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:182897: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:182917: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:183010: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:183024: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:183055: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:183706: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:183721: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:183733: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:183743: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:200300: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2008/main.i:210931: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:7513: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:18251: Pres ==> Press
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:20322: Pres ==> Press
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:35328: nNumber ==> number
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:124896: fAllow ==> follow
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:130289: tolen ==> token
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:177616: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:177617: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:177618: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:183229: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:196222: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:196246: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:196335: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:196355: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:196452: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:196476: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:196516: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:197192: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:197213: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:197229: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:197241: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:213893: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2010/main.i:225201: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:11743: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:20934: Pres ==> Press
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:23896: Pres ==> Press
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:75914: nNumber ==> number
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:184902: fAllow ==> follow
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:190447: tolen ==> token
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:242978: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:242979: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:242980: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:264374: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:272407: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:272431: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:272520: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:272540: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:272638: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:272662: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:272702: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:273405: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:273426: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:273442: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:273454: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:290593: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2012/main.i:302660: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:14345: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:24169: Pres ==> Press
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:27131: Pres ==> Press
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:52109: nNumber ==> number
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:159899: fAllow ==> follow
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:165468: tolen ==> token
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:217514: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:217515: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:217516: superceded ==> superseded
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:239221: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:247261: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:247285: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:247374: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:247394: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:247492: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:247516: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:247556: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:248259: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:248280: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:248296: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:248308: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:265478: ptd ==> pdf
data/cbmc-5.12/regression/ansi-c/windows_h_VS_2013/main.i:277599: ptd ==> pdf
data/cbmc-5.12/regression/cbmc-concurrency/svcomp13_qrcu_safe/main.c:16: withing ==> within
data/cbmc-5.12/regression/cbmc-concurrency/svcomp13_qrcu_unsafe/main.c:16: withing ==> within
data/cbmc-5.12/regression/cbmc-from-CVS/Pointer9/main.c:33: everithing ==> everything
data/cbmc-5.12/regression/cbmc-from-CVS/String_Abstraction5/main.c:17: sould ==> could, should, sold
data/cbmc-5.12/regression/cbmc-from-CVS/Type_Error1/main.c:20: pevent ==> prevent
data/cbmc-5.12/regression/cbmc-from-CVS/Type_Error1/main.c:23: pevent ==> prevent
data/cbmc-5.12/regression/cbmc-from-CVS/Type_Error1/main.c:24: pevent ==> prevent
data/cbmc-5.12/regression/cbmc-from-CVS/Type_Error1/main.c:30: pevent ==> prevent
data/cbmc-5.12/regression/cbmc-incr/email_spec27_product31_false1/main.c:4069: keypair ==> key pair
data/cbmc-5.12/regression/cbmc-library/equality_through_struct_containing_arrays3/main.c:28: lits ==> list
data/cbmc-5.12/regression/cbmc-library/equality_through_struct_containing_arrays3/main.c:38: lits ==> list
data/cbmc-5.12/regression/cbmc-library/equality_through_struct_containing_arrays3/main.c:39: lits ==> list
data/cbmc-5.12/regression/cbmc-library/equality_through_struct_containing_arrays3/main.c:43: lits ==> list
data/cbmc-5.12/regression/cbmc-with-incr/Malloc19/main.c:24: nd ==> and, 2nd
data/cbmc-5.12/regression/cbmc-with-incr/Malloc19/main.c:25: nd ==> and, 2nd
data/cbmc-5.12/regression/cbmc-with-incr/equality_through_struct_containing_arrays3/main.c:27: lits ==> list
data/cbmc-5.12/regression/cbmc-with-incr/equality_through_struct_containing_arrays3/main.c:37: lits ==> list
data/cbmc-5.12/regression/cbmc-with-incr/equality_through_struct_containing_arrays3/main.c:38: lits ==> list
data/cbmc-5.12/regression/cbmc-with-incr/equality_through_struct_containing_arrays3/main.c:42: lits ==> list
data/cbmc-5.12/regression/cbmc/Malloc19/main.c:24: nd ==> and, 2nd
data/cbmc-5.12/regression/cbmc/Malloc19/main.c:25: nd ==> and, 2nd
data/cbmc-5.12/regression/cbmc/Pointer_Arithmetic16/test.desc:10: arithemetic ==> arithmetic
data/cbmc-5.12/regression/cbmc/array-tests/main.c:64: accesss ==> access
data/cbmc-5.12/regression/cbmc/array-tests/main.c:140: accesss ==> access
data/cbmc-5.12/regression/cbmc/array-tests/main.c:212: accesss ==> access
data/cbmc-5.12/regression/cbmc/array-tests/main.c:323: coallescing ==> coalescing
data/cbmc-5.12/regression/cbmc/array-tests/main.c:464: coallescing ==> coalescing
data/cbmc-5.12/regression/cbmc/byte_update12/main.c:19: upate ==> update
data/cbmc-5.12/regression/cbmc/phi-merge_uninitialized_values/dynamic.desc:11: dosen't ==> doesn't
data/cbmc-5.12/regression/cbmc/phi-merge_uninitialized_values/global.desc:11: dosen't ==> doesn't
data/cbmc-5.12/regression/cbmc/phi-merge_uninitialized_values/local.desc:11: dosen't ==> doesn't
data/cbmc-5.12/regression/cbmc/phi-merge_uninitialized_values/static_local.desc:11: dosen't ==> doesn't
data/cbmc-5.12/regression/cpp-from-CVS/Lvalue1/main.cpp:13: Altough ==> Although
data/cbmc-5.12/regression/cpp-from-CVS/Vector1/lib/list:16: additionaly ==> additionally
data/cbmc-5.12/regression/cpp/constexpr1/main.cpp:3: indicies ==> indices
data/cbmc-5.12/regression/cpp/enum1/main.cpp:27: whereever ==> wherever
data/cbmc-5.12/regression/cpp/enum1/main.cpp:29: whereever ==> wherever
data/cbmc-5.12/regression/cpp/enum1/main.cpp:29: whereever ==> wherever
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:5843: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:12891: Pres ==> Press
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:24146: nNumber ==> number
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:94341: tolen ==> token
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:130082: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:130083: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:130084: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:130085: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:130086: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:130105: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:130106: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:130107: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:130108: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:130109: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:130595: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:130596: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:130597: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:137457: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:152635: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:152648: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:152789: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:152809: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:152900: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:153031: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:153623: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:153638: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:153650: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:153660: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:174433: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2005/main.ii:184427: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:7597: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:16467: Pres ==> Press
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:31566: nNumber ==> number
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:114411: fAllow ==> follow
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:119687: tolen ==> token
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:165117: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:165118: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:165119: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:170531: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:182740: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:182753: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:182895: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:182915: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:182980: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:183704: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:183719: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:183731: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:183741: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:200298: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2008/main.ii:210929: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:7513: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:18251: Pres ==> Press
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:20322: Pres ==> Press
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:35328: nNumber ==> number
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:124896: fAllow ==> follow
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:130289: tolen ==> token
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:177614: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:177615: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:177616: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:183227: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:196136: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:196159: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:196333: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:196353: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:196418: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:197190: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:197211: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:197227: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:197239: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:213891: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2010/main.ii:225199: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:11743: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:20934: Pres ==> Press
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:23896: Pres ==> Press
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:75913: nNumber ==> number
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:184901: fAllow ==> follow
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:190446: tolen ==> token
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:242977: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:242978: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:242979: superceded ==> superseded
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:264373: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:272321: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:272344: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:272519: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:272539: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:272604: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:273404: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:273425: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:273441: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:273453: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:290592: ptd ==> pdf
data/cbmc-5.12/regression/cpp/windows_h_VS_2012/main.ii:302659: ptd ==> pdf
data/cbmc-5.12/regression/goto-analyzer/sensitivity-test-constants-pointer-to-constants-struct/test.desc:16: propogating ==> propagating
data/cbmc-5.12/regression/goto-cc-file-local/chain.sh:71: Fo ==> Of, for
data/cbmc-5.12/regression/goto-instrument-wmm-core/chain.sh:39: strat ==> start, strata
data/cbmc-5.12/regression/goto-instrument-wmm-core/chain.sh:42: strat ==> start, strata
data/cbmc-5.12/regression/goto-instrument-wmm-core/chain.sh:44: strat ==> start, strata
data/cbmc-5.12/regression/goto-instrument-wmm-core/chain.sh:58: strat ==> start, strata
data/cbmc-5.12/regression/memory-analyzer/arrays/arrays.c:61: childs ==> children, child's
data/cbmc-5.12/regression/memory-analyzer/arrays/arrays.c:62: childs ==> children, child's
data/cbmc-5.12/regression/memory-analyzer/arrays/arrays.c:63: childs ==> children, child's
data/cbmc-5.12/regression/memory-analyzer/arrays/arrays.c:72: childs ==> children, child's
data/cbmc-5.12/regression/memory-analyzer/arrays/arrays.c:73: childs ==> children, child's
data/cbmc-5.12/regression/memory-analyzer/arrays/arrays.h:29: childs ==> children, child's
data/cbmc-5.12/regression/memory-analyzer/arrays/test.desc:12: initalized ==> initialized
data/cbmc-5.12/regression/memory-analyzer/arrays/test.desc:13: childs ==> children, child's
data/cbmc-5.12/regression/memory-analyzer/cycles/cycles.c:7: meaningfull ==> meaningful
data/cbmc-5.12/regression/memory-analyzer/plain_old_datatypes/plain_old_datatypes.h:8: functionallity ==> functionality
data/cbmc-5.12/regression/statement-list/Var_Declaration/main.awl:40: inout ==> input, in out
data/cbmc-5.12/regression/statement-list/Var_Declaration/test.desc:16: inout ==> input, in out
data/cbmc-5.12/scripts/cpplint.py:600: seperated ==> separated
data/cbmc-5.12/scripts/cpplint.py:1551: arguement ==> argument
data/cbmc-5.12/scripts/cpplint.py:1790: emtpy ==> empty
data/cbmc-5.12/scripts/cpplint.py:4719: sufficent ==> sufficient
data/cbmc-5.12/scripts/cpplint.py:4747: afer ==> after
data/cbmc-5.12/scripts/cpplint.py:6115: seperating ==> separating
data/cbmc-5.12/scripts/cpplint.py:6709: seperated ==> separated
data/cbmc-5.12/scripts/bash-autocomplete/extract_switches.sh:25: parantheses ==> parentheses
data/cbmc-5.12/scripts/perf-test/perf_test.py:602: completition ==> completion
data/cbmc-5.12/scripts/pretty-printers/gdb/install.py:66: occured ==> occurred
data/cbmc-5.12/src/Makefile:146: softwares ==> software
data/cbmc-5.12/src/common:232: Fo ==> Of, for
data/cbmc-5.12/src/common:235: Fo ==> Of, for
data/cbmc-5.12/src/common:238: Fo ==> Of, for
data/cbmc-5.12/src/analyses/README.md:131: writen ==> written
data/cbmc-5.12/src/analyses/ai.h:623: ist ==> is, it, its, it's, sit, list
data/cbmc-5.12/src/analyses/ai_domain.h:98: compatability ==> compatibility
data/cbmc-5.12/src/analyses/ai_domain.h:232: compatability ==> compatibility
data/cbmc-5.12/src/analyses/ai_history.h:64: transfered ==> transferred
data/cbmc-5.12/src/analyses/ai_history.h:108: undesireable ==> undesirable
data/cbmc-5.12/src/analyses/ai_storage.h:20: interace ==> interface
data/cbmc-5.12/src/analyses/ai_storage.h:194: compatability ==> compatibility
data/cbmc-5.12/src/analyses/goto_check.cpp:319: divison ==> division
data/cbmc-5.12/src/analyses/goto_check.cpp:436: divison ==> division
data/cbmc-5.12/src/analyses/uninitialized_domain.cpp:48: uninitalized ==> uninitialized
data/cbmc-5.12/src/ansi-c/expr2c_class.h:231: precendence ==> precedence
data/cbmc-5.12/src/ansi-c/scanner.l:61: charater ==> character
data/cbmc-5.12/src/ansi-c/library/math.c:540: althought ==> although
data/cbmc-5.12/src/ansi-c/library/math.c:589: althought ==> although
data/cbmc-5.12/src/ansi-c/library/math.c:638: althought ==> although
data/cbmc-5.12/src/ansi-c/library/netdb.c:26: whould ==> would
data/cbmc-5.12/src/ansi-c/library/netdb.c:53: whould ==> would
data/cbmc-5.12/src/ansi-c/library/netdb.c:74: whould ==> would
data/cbmc-5.12/src/big-int/bigint.cc:722: Comparision ==> Comparison
data/cbmc-5.12/src/big-int/bigint.hh:205: ambigous ==> ambiguous
data/cbmc-5.12/src/big-int/bigint.hh:216: comparisions ==> comparisons
data/cbmc-5.12/src/cbmc/README.md:26: documentaton ==> documentation
data/cbmc-5.12/src/cpp/README.md:9: Consequentially ==> Consequently
data/cbmc-5.12/src/goto-analyzer/goto_analyzer_parse_options.cpp:244: compatability ==> compatibility
data/cbmc-5.12/src/goto-analyzer/goto_analyzer_parse_options.cpp:275: compatability ==> compatibility
data/cbmc-5.12/src/goto-cc/ms_cl_cmdline.cpp:306: Ot ==> To, of, or
data/cbmc-5.12/src/goto-cc/ms_cl_cmdline.cpp:315: SEH ==> SHE
data/cbmc-5.12/src/goto-cc/ms_cl_cmdline.cpp:316: SEH ==> SHE
data/cbmc-5.12/src/goto-cc/ms_cl_cmdline.cpp:343: Fo ==> Of, for
data/cbmc-5.12/src/goto-cc/ms_cl_mode.cpp:119: Fo ==> Of, for
data/cbmc-5.12/src/goto-cc/ms_cl_mode.cpp:121: Fo ==> Of, for
data/cbmc-5.12/src/goto-checker/goto_symex_property_decider.h:57: inout ==> input, in out
data/cbmc-5.12/src/goto-checker/goto_symex_property_decider.h:58: inout ==> input, in out
data/cbmc-5.12/src/goto-checker/report_util.cpp:192: propery ==> property, properly
data/cbmc-5.12/src/goto-checker/solver_factory.cpp:57: propt ==> prompt
data/cbmc-5.12/src/goto-checker/solver_factory.cpp:85: propt ==> prompt
data/cbmc-5.12/src/goto-checker/solver_factory.cpp:120: propt ==> prompt
data/cbmc-5.12/src/goto-checker/solver_factory.cpp:219: propt ==> prompt
data/cbmc-5.12/src/goto-checker/solver_factory.cpp:219: propt ==> prompt
data/cbmc-5.12/src/goto-checker/solver_factory.h:22: propt ==> prompt
data/cbmc-5.12/src/goto-checker/solver_factory.h:43: propt ==> prompt
data/cbmc-5.12/src/goto-checker/solver_factory.h:50: propt ==> prompt
data/cbmc-5.12/src/goto-checker/solver_factory.h:53: propt ==> prompt
data/cbmc-5.12/src/goto-checker/solver_factory.h:58: propt ==> prompt
data/cbmc-5.12/src/goto-instrument/dump_c.cpp:878: depenencies ==> dependencies
data/cbmc-5.12/src/goto-instrument/dump_c_class.h:45: compunds ==> compounds
data/cbmc-5.12/src/goto-instrument/goto_instrument_parse_options.cpp:1307: uninitalized ==> uninitialized
data/cbmc-5.12/src/goto-instrument/reachability_slicer.cpp:239: encounted ==> encountered, encounter
data/cbmc-5.12/src/goto-instrument/accelerate/acceleration_utils.cpp:816: conver ==> convert
data/cbmc-5.12/src/goto-instrument/accelerate/scratch_program.h:90: propt ==> prompt
data/cbmc-5.12/src/goto-instrument/wmm/goto2graph.cpp:1629: wraper ==> wrapper
data/cbmc-5.12/src/goto-instrument/wmm/instrumenter_strategies.cpp:232: parm ==> param, pram, parma
data/cbmc-5.12/src/goto-instrument/wmm/instrumenter_strategies.cpp:233: parm ==> param, pram, parma
data/cbmc-5.12/src/goto-instrument/wmm/instrumenter_strategies.cpp:234: parm ==> param, pram, parma
data/cbmc-5.12/src/goto-instrument/wmm/instrumenter_strategies.cpp:235: parm ==> param, pram, parma
data/cbmc-5.12/src/goto-instrument/wmm/instrumenter_strategies.cpp:317: parm ==> param, pram, parma
data/cbmc-5.12/src/goto-programs/README.md:472: propery ==> property, properly
data/cbmc-5.12/src/goto-programs/destructor_tree.cpp:52: dosen't ==> doesn't
data/cbmc-5.12/src/goto-programs/goto_function.cpp:17: paramters ==> parameters
data/cbmc-5.12/src/goto-programs/interpreter.cpp:467: retrives ==> retrieves
data/cbmc-5.12/src/goto-programs/osx_fat_reader.cpp:166: sectiont ==> sectioned, section
data/cbmc-5.12/src/goto-programs/osx_fat_reader.cpp:190: sectiont ==> sectioned, section
data/cbmc-5.12/src/goto-programs/osx_fat_reader.h:47: sectiont ==> sectioned, section
data/cbmc-5.12/src/goto-programs/osx_fat_reader.h:49: sectiont ==> sectioned, section
data/cbmc-5.12/src/goto-programs/osx_fat_reader.h:59: sectiont ==> sectioned, section
data/cbmc-5.12/src/goto-programs/remove_function_pointers.cpp:304: fpr ==> for, far, fps
data/cbmc-5.12/src/goto-programs/remove_function_pointers.cpp:307: fpr ==> for, far, fps
data/cbmc-5.12/src/goto-programs/system_library_symbols.cpp:44: creat ==> create
data/cbmc-5.12/src/goto-symex/goto_state.h:74: efficent ==> efficient
data/cbmc-5.12/src/goto-symex/goto_symex.h:663: preceeded ==> preceded, proceeded
data/cbmc-5.12/src/goto-symex/show_program.cpp:23: Additonal ==> Additional
data/cbmc-5.12/src/goto-symex/symex_goto.cpp:357: nwe ==> new
data/cbmc-5.12/src/langapi/language_file.cpp:27: availible ==> available
data/cbmc-5.12/src/pointer-analysis/goto_program_dereference.cpp:271: derefence ==> dereference
data/cbmc-5.12/src/pointer-analysis/value_set.cpp:101: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set.cpp:121: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set.cpp:712: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set.cpp:745: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set.cpp:1119: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set.cpp:1165: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set.h:82: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set.h:84: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set.h:94: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set.h:146: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set.h:160: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set.h:173: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set.h:191: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set.h:199: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_dereference.cpp:287: ot ==> to, of, or
data/cbmc-5.12/src/pointer-analysis/value_set_fi.cpp:578: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fi.cpp:889: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fi.cpp:933: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fi.h:60: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fi.h:61: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fi.h:68: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fi.h:89: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fi.h:122: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fi.h:130: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fi.h:136: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fi.h:146: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fi.h:168: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivr.h:57: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivr.h:58: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivr.h:69: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivr.h:89: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivr.h:96: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivr.h:101: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivr.h:153: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivr.h:161: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivr.h:167: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivr.h:170: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivr.h:182: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivr.h:191: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivr.h:197: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivr.h:200: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivrns.h:58: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivrns.h:59: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivrns.h:70: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivrns.h:90: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivrns.h:97: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivrns.h:102: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivrns.h:153: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivrns.h:161: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivrns.h:167: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivrns.h:170: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivrns.h:182: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivrns.h:191: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivrns.h:197: offsett ==> offset
data/cbmc-5.12/src/pointer-analysis/value_set_fivrns.h:200: offsett ==> offset
data/cbmc-5.12/src/solvers/CMakeLists.txt:86: softwares ==> software
data/cbmc-5.12/src/solvers/README.md:163: propt ==> prompt
data/cbmc-5.12/src/solvers/README.md:172: propt ==> prompt
data/cbmc-5.12/src/solvers/README.md:182: propt ==> prompt
data/cbmc-5.12/src/solvers/README.md:203: propt ==> prompt
data/cbmc-5.12/src/solvers/README.md:208: propt ==> prompt
data/cbmc-5.12/src/solvers/README.md:232: propt ==> prompt
data/cbmc-5.12/src/solvers/README.md:277: propt ==> prompt
data/cbmc-5.12/src/solvers/README.md:299: propt ==> prompt
data/cbmc-5.12/src/solvers/Makefile:201: Fo ==> Of, for
data/cbmc-5.12/src/solvers/Makefile:204: Fo ==> Of, for
data/cbmc-5.12/src/solvers/Makefile:207: Fo ==> Of, for
data/cbmc-5.12/src/solvers/Makefile:214: Fo ==> Of, for
data/cbmc-5.12/src/solvers/Makefile:217: Fo ==> Of, for
data/cbmc-5.12/src/solvers/Makefile:220: Fo ==> Of, for
data/cbmc-5.12/src/solvers/bdd/bdd_cudd.h:41: indext ==> index, indent
data/cbmc-5.12/src/solvers/bdd/bdd_cudd.h:44: indext ==> index, indent
data/cbmc-5.12/src/solvers/bdd/bdd_cudd.h:155: indext ==> index, indent
data/cbmc-5.12/src/solvers/bdd/bdd_miniBDD.h:43: indext ==> index, indent
data/cbmc-5.12/src/solvers/bdd/bdd_miniBDD.h:46: indext ==> index, indent
data/cbmc-5.12/src/solvers/bdd/bdd_miniBDD.h:164: indext ==> index, indent
data/cbmc-5.12/src/solvers/flattening/arrays.cpp:28: propt ==> prompt
data/cbmc-5.12/src/solvers/flattening/arrays.h:35: propt ==> prompt
data/cbmc-5.12/src/solvers/flattening/arrays.h:73: indicies ==> indices
data/cbmc-5.12/src/solvers/flattening/boolbv.h:39: propt ==> prompt
data/cbmc-5.12/src/solvers/flattening/boolbv_map.cpp:21: propt ==> prompt
data/cbmc-5.12/src/solvers/flattening/boolbv_map.h:26: propt ==> prompt
data/cbmc-5.12/src/solvers/flattening/boolbv_map.h:52: propt ==> prompt
data/cbmc-5.12/src/solvers/flattening/boolbv_map.h:80: propt ==> prompt
data/cbmc-5.12/src/solvers/flattening/boolbv_overflow.cpp:119: comparision ==> comparison
data/cbmc-5.12/src/solvers/flattening/boolbv_typecast.cpp:80: halfs ==> halves
data/cbmc-5.12/src/solvers/flattening/bv_dimacs.h:22: propt ==> prompt
data/cbmc-5.12/src/solvers/flattening/bv_pointers.cpp:84: propt ==> prompt
data/cbmc-5.12/src/solvers/flattening/bv_pointers.h:22: propt ==> prompt
data/cbmc-5.12/src/solvers/flattening/bv_utils.cpp:486: arbitary ==> arbitrary
data/cbmc-5.12/src/solvers/flattening/bv_utils.cpp:879: remainer ==> remainder
data/cbmc-5.12/src/solvers/flattening/bv_utils.cpp:887: remainer ==> remainder
data/cbmc-5.12/src/solvers/flattening/bv_utils.cpp:889: remainer ==> remainder
data/cbmc-5.12/src/solvers/flattening/bv_utils.h:29: propt ==> prompt
data/cbmc-5.12/src/solvers/flattening/bv_utils.h:221: propt ==> prompt
data/cbmc-5.12/src/solvers/flattening/equality.h:22: propt ==> prompt
data/cbmc-5.12/src/solvers/floatbv/float_approximation.h:20: propt ==> prompt
data/cbmc-5.12/src/solvers/floatbv/float_bv.cpp:688: thown ==> thrown, town
data/cbmc-5.12/src/solvers/floatbv/float_utils.cpp:502: thown ==> thrown, town
data/cbmc-5.12/src/solvers/floatbv/float_utils.h:69: propt ==> prompt
data/cbmc-5.12/src/solvers/floatbv/float_utils.h:75: propt ==> prompt
data/cbmc-5.12/src/solvers/floatbv/float_utils.h:154: propt ==> prompt
data/cbmc-5.12/src/solvers/lowering/byte_operators.cpp:1798: indiviual ==> individual
data/cbmc-5.12/src/solvers/prop/prop.cpp:12: propt ==> prompt
data/cbmc-5.12/src/solvers/prop/prop.cpp:20: propt ==> prompt
data/cbmc-5.12/src/solvers/prop/prop.cpp:29: propt ==> prompt
data/cbmc-5.12/src/solvers/prop/prop.cpp:29: propt ==> prompt
data/cbmc-5.12/src/solvers/prop/prop.cpp:35: propt ==> prompt
data/cbmc-5.12/src/solvers/prop/prop.h:24: propt ==> prompt
data/cbmc-5.12/src/solvers/prop/prop.h:27: propt ==> prompt
data/cbmc-5.12/src/solvers/prop/prop.h:31: propt ==> prompt
data/cbmc-5.12/src/solvers/prop/prop_conv_solver.cpp:492: propt ==> prompt
data/cbmc-5.12/src/solvers/prop/prop_conv_solver.cpp:494: propt ==> prompt
data/cbmc-5.12/src/solvers/prop/prop_conv_solver.cpp:496: propt ==> prompt
data/cbmc-5.12/src/solvers/prop/prop_conv_solver.h:32: propt ==> prompt
data/cbmc-5.12/src/solvers/prop/prop_conv_solver.h:127: propt ==> prompt
data/cbmc-5.12/src/solvers/qbf/qbf_bdd_core.cpp:91: propt ==> prompt
data/cbmc-5.12/src/solvers/qbf/qbf_quantor.cpp:35: propt ==> prompt
data/cbmc-5.12/src/solvers/qbf/qbf_qube.cpp:37: propt ==> prompt
data/cbmc-5.12/src/solvers/qbf/qbf_qube_core.cpp:34: propt ==> prompt
data/cbmc-5.12/src/solvers/qbf/qbf_skizzo.cpp:37: propt ==> prompt
data/cbmc-5.12/src/solvers/qbf/qbf_skizzo_core.cpp:47: propt ==> prompt
data/cbmc-5.12/src/solvers/qbf/qbf_squolem.cpp:34: propt ==> prompt
data/cbmc-5.12/src/solvers/qbf/qbf_squolem_core.cpp:82: propt ==> prompt
data/cbmc-5.12/src/solvers/refinement/bv_refinement.h:36: propt ==> prompt
data/cbmc-5.12/src/solvers/refinement/bv_refinement_loop.cpp:105: propt ==> prompt
data/cbmc-5.12/src/solvers/refinement/bv_refinement_loop.cpp:111: propt ==> prompt
data/cbmc-5.12/src/solvers/refinement/bv_refinement_loop.cpp:112: propt ==> prompt
data/cbmc-5.12/src/solvers/refinement/bv_refinement_loop.cpp:113: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/cnf.cpp:28: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:30: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:31: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:32: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:34: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:35: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:36: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:38: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:39: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:40: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:41: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:42: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:43: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:51: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:53: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:54: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:55: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:57: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:58: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:59: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:61: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:62: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:63: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:64: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:65: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:76: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:78: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:79: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:80: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:81: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:83: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:84: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:85: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:86: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:88: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:89: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:90: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:91: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:93: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:94: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:95: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:96: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:104: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:106: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:107: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:108: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:110: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:111: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:112: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:114: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:115: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:116: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:117: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:118: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:126: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:128: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:129: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:130: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:132: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:133: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:134: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:136: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:137: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:138: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:139: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:140: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:178: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:180: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:184: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:185: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:188: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:189: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:192: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:194: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:195: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:221: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:223: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:227: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:228: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:231: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:232: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:235: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:237: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:238: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.cpp:365: lits ==> list
data/cbmc-5.12/src/solvers/sat/cnf.h:17: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/cnf.h:23: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/cnf_clause_list.cpp:32: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/cnf_clause_list.h:122: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/pbs_dimacs_cnf.cpp:208: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/satcheck_booleforce.cpp:82: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/satcheck_cadical.cpp:68: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/satcheck_glucose.cpp:120: superflous ==> superfluous
data/cbmc-5.12/src/solvers/sat/satcheck_glucose.cpp:135: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/satcheck_ipasir.cpp:96: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/satcheck_lingeling.cpp:66: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/satcheck_minisat.cpp:153: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/satcheck_minisat.cpp:265: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/satcheck_minisat.cpp:267: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/satcheck_minisat2.cpp:139: superflous ==> superfluous
data/cbmc-5.12/src/solvers/sat/satcheck_minisat2.cpp:166: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/satcheck_picosat.cpp:68: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/satcheck_zchaff.cpp:73: propt ==> prompt
data/cbmc-5.12/src/solvers/sat/satcheck_zcore.cpp:37: propt ==> prompt
data/cbmc-5.12/src/solvers/smt2/smt2_conv.cpp:3854: indicies ==> indices
data/cbmc-5.12/src/solvers/strings/array_pool.h:41: Correspondance ==> Correspondence
data/cbmc-5.12/src/solvers/strings/string_constraint.h:45: iterm ==> term, item, intern
data/cbmc-5.12/src/solvers/strings/string_constraint.h:45: iterm ==> term, item, intern
data/cbmc-5.12/src/solvers/strings/string_constraint.h:45: iterm ==> term, item, intern
data/cbmc-5.12/src/solvers/strings/string_constraint.h:45: iterm ==> term, item, intern
data/cbmc-5.12/src/solvers/strings/string_constraint.h:46: iterm ==> term, item, intern
data/cbmc-5.12/src/solvers/strings/string_constraint_generator_code_points.cpp:17: fo ==> of, for
data/cbmc-5.12/src/solvers/strings/string_constraint_generator_code_points.cpp:73: explenation ==> explanation
data/cbmc-5.12/src/solvers/strings/string_constraint_generator_code_points.cpp:86: explenation ==> explanation
data/cbmc-5.12/src/solvers/strings/string_constraint_generator_code_points.cpp:100: explenation ==> explanation
data/cbmc-5.12/src/solvers/strings/string_constraint_generator_float.cpp:147: substract ==> subtract
data/cbmc-5.12/src/solvers/strings/string_constraint_generator_indexof.cpp:283: occurence ==> occurrence
data/cbmc-5.12/src/solvers/strings/string_constraint_generator_indexof.cpp:405: occurence ==> occurrence
data/cbmc-5.12/src/solvers/strings/string_constraint_generator_transformation.cpp:288: occurences ==> occurrences
data/cbmc-5.12/src/solvers/strings/string_constraint_instantiation.cpp:5: Sigal ==> Signal, sigil
data/cbmc-5.12/src/solvers/strings/string_constraint_instantiation.cpp:5: sigal ==> signal, sigil
data/cbmc-5.12/src/solvers/strings/string_constraint_instantiation.h:5: Sigal ==> Signal, sigil
data/cbmc-5.12/src/solvers/strings/string_constraint_instantiation.h:5: sigal ==> signal, sigil
data/cbmc-5.12/src/solvers/strings/string_constraint_instantiation.h:26: substitued ==> substituted, substitute
data/cbmc-5.12/src/solvers/strings/string_constraint_instantiation.h:45: cannonical ==> canonical
data/cbmc-5.12/src/solvers/strings/string_dependencies.h:64: refered ==> referred
data/cbmc-5.12/src/solvers/strings/string_dependencies.h:104: everytime ==> every time
data/cbmc-5.12/src/solvers/strings/string_dependencies.h:115: buitin ==> builtin
data/cbmc-5.12/src/solvers/strings/string_refinement_invariant.h:5: Sigal ==> Signal, sigil
data/cbmc-5.12/src/solvers/strings/string_refinement_invariant.h:5: sigal ==> signal, sigil
data/cbmc-5.12/src/statement-list/parser.y:146: follwing ==> following
data/cbmc-5.12/src/statement-list/parser.y:147: eqivalent ==> equivalent
data/cbmc-5.12/src/statement-list/statement_list_parse_tree.h:89: Inout ==> Input, in out
data/cbmc-5.12/src/statement-list/statement_list_parse_tree.h:104: inout ==> input, in out
data/cbmc-5.12/src/statement-list/statement_list_typecheck.cpp:128: inout ==> input, in out
data/cbmc-5.12/src/util/README.md:210: visiblity ==> visibility
data/cbmc-5.12/src/util/README.md:308: implmented ==> implemented
data/cbmc-5.12/src/util/README.md:310: oposite ==> opposite
data/cbmc-5.12/src/util/README.md:319: implmented ==> implemented
data/cbmc-5.12/src/util/README.md:323: ouptut ==> output
data/cbmc-5.12/src/util/c_types_util.h:42: verison ==> version
data/cbmc-5.12/src/util/dense_integer_map.h:43: iterface ==> interface
data/cbmc-5.12/src/util/format_expr.cpp:58: precendences ==> precedences
data/cbmc-5.12/src/util/graph.h:163: objet ==> object
data/cbmc-5.12/src/util/interval_union.h:45: intergers ==> integers
data/cbmc-5.12/src/util/interval_union.h:50: intergers ==> integers
data/cbmc-5.12/src/util/invariant.h:21: preceeding ==> preceding, proceeding
data/cbmc-5.12/src/util/invariant.h:208: compatability ==> compatibility
data/cbmc-5.12/src/util/invariant.h:297: useable ==> usable
data/cbmc-5.12/src/util/object_factory_parameters.h:56: occured ==> occurred
data/cbmc-5.12/src/util/std_types.cpp:129: ot ==> to, of, or
data/cbmc-5.12/src/util/symbol_table.cpp:212: non-existant ==> non-existent
data/cbmc-5.12/src/util/symbol_table.cpp:226: non-existant ==> non-existent
data/cbmc-5.12/unit/catch/catch.hpp:114: SEH ==> SHE
data/cbmc-5.12/unit/catch/catch.hpp:190: SEH ==> SHE
data/cbmc-5.12/unit/catch/catch.hpp:226: SEH ==> SHE
data/cbmc-5.12/unit/catch/catch.hpp:2852: infering ==> inferring
data/cbmc-5.12/unit/catch/catch.hpp:8099: SEH ==> SHE
data/cbmc-5.12/unit/catch/catch.hpp:8238: SEH ==> SHE
data/cbmc-5.12/unit/catch/catch.hpp:9256: Coul ==> Could
data/cbmc-5.12/unit/catch/catch.hpp:11054: alpha-numeric ==> alphanumeric
data/cbmc-5.12/unit/solvers/bdd/miniBDD/miniBDD.cpp:24: propt ==> prompt
data/cbmc-5.12/unit/solvers/bdd/miniBDD/miniBDD.cpp:30: propt ==> prompt
data/cbmc-5.12/unit/solvers/sat/satcheck_minisat2.cpp:32: propt ==> prompt
data/cbmc-5.12/unit/solvers/sat/satcheck_minisat2.cpp:39: propt ==> prompt
data/cbmc-5.12/unit/solvers/sat/satcheck_minisat2.cpp:51: propt ==> prompt
data/cbmc-5.12/unit/solvers/sat/satcheck_minisat2.cpp:67: propt ==> prompt
data/cbmc-5.12/unit/solvers/sat/satcheck_minisat2.cpp:75: propt ==> prompt
data/cbmc-5.12/unit/solvers/sat/satcheck_minisat2.cpp:81: propt ==> prompt
data/cbmc-5.12/unit/util/simplify_expr.cpp:126: endianess ==> endianness
data/cbmc-5.12/java-models-library/src/main/java/java/lang/Character.java:243: Nd ==> And, 2nd
data/cbmc-5.12/java-models-library/src/main/java/java/lang/Character.java:4366: BENG ==> BEING
data/cbmc-5.12/java-models-library/src/main/java/java/lang/Object.java:119: shoud ==> should
data/cbmc-5.12/java-models-library/src/main/java/java/lang/Object.java:142: shoud ==> should
data/cbmc-5.12/java-models-library/src/main/java/java/lang/String.java:3022: ba ==> by, be
data/cbmc-5.12/java-models-library/src/main/java/java/lang/StringBuffer.java:231: orginal ==> original
data/cbmc-5.12/java-models-library/src/main/java/java/lang/Throwable.java:145: sentinal ==> sentinel
data/cbmc-5.12/java-models-library/src/main/java/java/lang/reflect/AccessibleObject.java:90: upto ==> up to
data/cbmc-5.12/java-models-library/src/main/java/java/lang/reflect/Method.java:207: Excecutable ==> Executable
data/cbmc-5.12/java-models-library/src/main/java/java/util/Random.java:159: overriden ==> overridden
data/cbmc-5.12/java-models-library/src/main/java/java/util/regex/Pattern.java:654: Nd ==> And, 2nd
data/cbmc-5.12/java-models-library/src/main/java/java/util/regex/Pattern.java:758: 3nd ==> 3rd
data/cbmc-5.12/java-models-library/src/main/java/java/util/regex/Pattern.java:5855: Nd ==> And, 2nd
data/cbmc-5.12/debian/patches/fix_typo:1: concatentation ==> concatenation
data/cbmc-5.12/debian/patches/fix_typo:30: concatentation ==> concatenation
data/cbmc-5.12/debian/patches/fix_typo:39: concatentation ==> concatenation
data/cbmc-5.12/debian/patches/fix_typo:48: concatentation ==> concatenation
data/cbmc-5.12/.pc/minisat-debian/src/solvers/Makefile:202: Fo ==> Of, for
data/cbmc-5.12/.pc/minisat-debian/src/solvers/Makefile:205: Fo ==> Of, for
data/cbmc-5.12/.pc/minisat-debian/src/solvers/Makefile:208: Fo ==> Of, for
data/cbmc-5.12/.pc/minisat-debian/src/solvers/Makefile:215: Fo ==> Of, for
data/cbmc-5.12/.pc/minisat-debian/src/solvers/Makefile:218: Fo ==> Of, for
data/cbmc-5.12/.pc/minisat-debian/src/solvers/Makefile:221: Fo ==> Of, for
data/cbmc-5.12/.pc/pointer_width/src/statement-list/statement_list_typecheck.cpp:128: inout ==> input, in out
data/cbmc-5.12/.pc/fix_typo/src/solvers/flattening/boolbv_concatenation.cpp:23: concatentation ==> concatenation
data/cbmc-5.12/.pc/fix_typo/src/solvers/flattening/boolbv_concatenation.cpp:35: concatentation ==> concatenation
data/cbmc-5.12/.pc/fix_typo/src/solvers/flattening/boolbv_concatenation.cpp:46: concatentation ==> concatenation