├── LICENSE ├── Makefile ├── README.md ├── README_OLD.md ├── Z3-str.py ├── benchmark ├── 1.kaluza │ └── kaluza.Z3str.tar.bz2 ├── 2.pisa │ ├── cvc4 │ │ ├── pisa-000.smt2 │ │ ├── pisa-001.smt2 │ │ ├── pisa-002.smt2 │ │ ├── pisa-003.smt2 │ │ ├── pisa-004.smt2 │ │ ├── pisa-005.smt2 │ │ ├── pisa-006.smt2 │ │ ├── pisa-007.smt2 │ │ ├── pisa-008.smt2 │ │ ├── pisa-009.smt2 │ │ ├── pisa-010.smt2 │ │ └── pisa-011.smt2 │ └── z3Str │ │ ├── pisa-000.smt2 │ │ ├── pisa-001.smt2 │ │ ├── pisa-002.smt2 │ │ ├── pisa-003.smt2 │ │ ├── pisa-004.smt2 │ │ ├── pisa-005.smt2 │ │ ├── pisa-006.smt2 │ │ ├── pisa-007.smt2 │ │ ├── pisa-008.smt2 │ │ ├── pisa-009.smt2 │ │ ├── pisa-010.smt2 │ │ └── pisa-011.smt2 └── 3.appscan │ ├── cvc4 │ ├── t01.smt2 │ ├── t02.smt2 │ ├── t03.smt2 │ ├── t04.smt2 │ ├── t05.smt2 │ ├── t06.smt2 │ ├── t07.smt2 │ └── t08.smt2 │ └── z3str │ ├── t01.smt2 │ ├── t02.smt2 │ ├── t03.smt2 │ ├── t04.smt2 │ ├── t05.smt2 │ ├── t06.smt2 │ ├── t07.smt2 │ └── t08.smt2 ├── strArgmt.cpp ├── strAstReduce.cpp ├── strMain.cpp ├── strRegex.cpp ├── strTheory.cpp ├── strTheory.h ├── tests ├── charAt-001 ├── charAt-002 ├── charAt-003 ├── charAt-004 ├── charAt-005 ├── charAt-006 ├── charAt-007 ├── concat-000 ├── concat-001 ├── concat-002 ├── concat-003 ├── concat-004-unsat ├── concat-005-unsat ├── concat-006 ├── concat-007 ├── concat-008 ├── concat-009 ├── concat-010 ├── concat-011 ├── concat-012 ├── concat-013 ├── concat-014 ├── concat-015 ├── concat-016-unsat ├── concat-017 ├── concat-018 ├── concat-019-unsat ├── concat-020 ├── concat-021 ├── concat-022 ├── concat-023 ├── concat-024 ├── concat-025 ├── concat-026 ├── concat-027 ├── concat-028 ├── concat-029 ├── concat-030 ├── concat-031 ├── concat-032 ├── concat-033 ├── concat-034 ├── concat-035 ├── concat-036 ├── concat-037 ├── concat-038 ├── concat-039 ├── concat-040 ├── concat-041 ├── concat-042 ├── concat-043 ├── concat-044 ├── concat-045 ├── concat-046 ├── concat-047-unsat ├── concat-048 ├── concat-049 ├── concat-050 ├── concat-051 ├── concat-052 ├── concat-053 ├── concat-054-unsat ├── concat-055 ├── concat-056 ├── concat-057 ├── concat-058 ├── concat-059-unsat ├── concat-060 ├── concat-061 ├── concat-062 ├── concat-063 ├── concat-064 ├── concat-065 ├── concat-066 ├── concat-067-unsat ├── concat-068 ├── concat-069 ├── concat-070 ├── concat-071 ├── concat-072 ├── concat-073 ├── concat-074 ├── concat-075 ├── concat-076-unsat ├── concat-077 ├── concat-078 ├── concat-079 ├── concat-080 ├── concat-081 ├── concat-082 ├── concat-083 ├── concat-084 ├── concat-085 ├── concat-086 ├── concat-087 ├── concat-088 ├── concat-089 ├── concat-090 ├── concat-091 ├── concat-092 ├── concat-093 ├── concat-094 ├── concat-095 ├── concat-096 ├── concat-097 ├── concat-098 ├── concat-099 ├── contains-001 ├── contains-002 ├── contains-003 ├── contains-004 ├── contains-005-unsat ├── contains-006 ├── contains-007 ├── contains-008 ├── contains-009 ├── contains-010 ├── contains-011 ├── contains-012-unsat ├── contains-013-unsat ├── contains-014-unsat ├── contains-015-unsat ├── contains-016 ├── contains-017-unsat ├── contains-018-unsat ├── contains-019-unsat ├── contains-020 ├── contains-021-unsat ├── contains-022-unsat ├── contains-023 ├── contains-024 ├── contains-025-unsat ├── contains-026-unsat ├── contains-027-unsat ├── contains-028-unsat ├── contains-029-unsat ├── contains-030-unsat ├── contains-031-unsat ├── contains-032-unsat ├── contains-033-unsat ├── contains-034 ├── contains-035-unsat ├── contains-036 ├── contains-037-unsat ├── endswith-001 ├── endswith-002 ├── endswith-003 ├── endswith-004 ├── endswith-005 ├── indexof-001 ├── indexof-002 ├── indexof-003 ├── indexof-004 ├── indexof-005 ├── indexof-006 ├── indexof-007-unsat ├── indexof-008 ├── indexof-009 ├── indexof-010 ├── indexof-011-unsat ├── indexof-012 ├── indexof2-001 ├── indexof2-002 ├── indexof2-003 ├── indexof2-004 ├── indexof2-005 ├── indexof2-006 ├── indexof2-007 ├── indexof2-008 ├── indexof2-009 ├── indexof2-010 ├── indexof2-011 ├── indexof2-012 ├── indexof2-013 ├── lastIndexof-001 ├── lastIndexof-002 ├── lastIndexof-003 ├── lastIndexof-004 ├── lastIndexof-005 ├── lastIndexof-006 ├── length-001 ├── length-002 ├── length-003 ├── length-004 ├── length-005 ├── length-006 ├── length-007 ├── length-008 ├── length-009 ├── misc-001 ├── misc-002 ├── regex-001 ├── regex-002-unsat ├── regex-003 ├── regex-004-unsat ├── regex-005-unsat ├── regex-006 ├── regex-007-unsat ├── regex-008 ├── regex-009 ├── regex-010 ├── regex-011-unsat ├── regex-012-unsat ├── regex-013 ├── regex-014 ├── regex-015 ├── regex-016 ├── regex-017 ├── regex-018 ├── regex-019-unsat ├── regex-020 ├── regex-021 ├── regex-022-unsat ├── regex-023 ├── regex-024 ├── regex-025 ├── regex-026 ├── regex-027 ├── regex-028-unsat ├── regex-031 ├── regex-032 ├── regex-033 ├── regex-034 ├── regex-035 ├── regex-041-unsat ├── regex-042 ├── regex-043 ├── regex-044 ├── regex-045-unsat ├── regex-046-unsat ├── regex-047 ├── regex-048 ├── regex-049 ├── replace-001 ├── replace-002 ├── replace-003 ├── replace-004-unsat ├── replace-005 ├── replace-006 ├── replace-007 ├── replace-008 ├── replace-009 ├── replace-010 ├── replace-011-unsat ├── replace-012 ├── startswith-001 ├── startswith-002 ├── startswith-003 ├── startswith-004 ├── startswith-005 ├── substring-001 ├── substring-002 ├── substring-003 ├── substring-004 ├── substring-005 └── substring-006-unsat ├── z3-src-4.1.1.zip └── z3.patch /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/README.md -------------------------------------------------------------------------------- /README_OLD.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/README_OLD.md -------------------------------------------------------------------------------- /Z3-str.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/Z3-str.py -------------------------------------------------------------------------------- /benchmark/1.kaluza/kaluza.Z3str.tar.bz2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/1.kaluza/kaluza.Z3str.tar.bz2 -------------------------------------------------------------------------------- /benchmark/2.pisa/cvc4/pisa-000.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/cvc4/pisa-000.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/cvc4/pisa-001.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/cvc4/pisa-001.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/cvc4/pisa-002.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/cvc4/pisa-002.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/cvc4/pisa-003.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/cvc4/pisa-003.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/cvc4/pisa-004.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/cvc4/pisa-004.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/cvc4/pisa-005.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/cvc4/pisa-005.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/cvc4/pisa-006.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/cvc4/pisa-006.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/cvc4/pisa-007.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/cvc4/pisa-007.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/cvc4/pisa-008.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/cvc4/pisa-008.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/cvc4/pisa-009.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/cvc4/pisa-009.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/cvc4/pisa-010.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/cvc4/pisa-010.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/cvc4/pisa-011.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/cvc4/pisa-011.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/z3Str/pisa-000.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/z3Str/pisa-000.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/z3Str/pisa-001.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/z3Str/pisa-001.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/z3Str/pisa-002.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/z3Str/pisa-002.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/z3Str/pisa-003.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/z3Str/pisa-003.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/z3Str/pisa-004.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/z3Str/pisa-004.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/z3Str/pisa-005.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/z3Str/pisa-005.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/z3Str/pisa-006.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/z3Str/pisa-006.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/z3Str/pisa-007.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/z3Str/pisa-007.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/z3Str/pisa-008.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/z3Str/pisa-008.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/z3Str/pisa-009.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/z3Str/pisa-009.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/z3Str/pisa-010.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/z3Str/pisa-010.smt2 -------------------------------------------------------------------------------- /benchmark/2.pisa/z3Str/pisa-011.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/2.pisa/z3Str/pisa-011.smt2 -------------------------------------------------------------------------------- /benchmark/3.appscan/cvc4/t01.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/3.appscan/cvc4/t01.smt2 -------------------------------------------------------------------------------- /benchmark/3.appscan/cvc4/t02.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/3.appscan/cvc4/t02.smt2 -------------------------------------------------------------------------------- /benchmark/3.appscan/cvc4/t03.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/3.appscan/cvc4/t03.smt2 -------------------------------------------------------------------------------- /benchmark/3.appscan/cvc4/t04.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/3.appscan/cvc4/t04.smt2 -------------------------------------------------------------------------------- /benchmark/3.appscan/cvc4/t05.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/3.appscan/cvc4/t05.smt2 -------------------------------------------------------------------------------- /benchmark/3.appscan/cvc4/t06.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/3.appscan/cvc4/t06.smt2 -------------------------------------------------------------------------------- /benchmark/3.appscan/cvc4/t07.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/3.appscan/cvc4/t07.smt2 -------------------------------------------------------------------------------- /benchmark/3.appscan/cvc4/t08.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/3.appscan/cvc4/t08.smt2 -------------------------------------------------------------------------------- /benchmark/3.appscan/z3str/t01.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/3.appscan/z3str/t01.smt2 -------------------------------------------------------------------------------- /benchmark/3.appscan/z3str/t02.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/3.appscan/z3str/t02.smt2 -------------------------------------------------------------------------------- /benchmark/3.appscan/z3str/t03.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/3.appscan/z3str/t03.smt2 -------------------------------------------------------------------------------- /benchmark/3.appscan/z3str/t04.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/3.appscan/z3str/t04.smt2 -------------------------------------------------------------------------------- /benchmark/3.appscan/z3str/t05.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/3.appscan/z3str/t05.smt2 -------------------------------------------------------------------------------- /benchmark/3.appscan/z3str/t06.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/3.appscan/z3str/t06.smt2 -------------------------------------------------------------------------------- /benchmark/3.appscan/z3str/t07.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/3.appscan/z3str/t07.smt2 -------------------------------------------------------------------------------- /benchmark/3.appscan/z3str/t08.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/benchmark/3.appscan/z3str/t08.smt2 -------------------------------------------------------------------------------- /strArgmt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/strArgmt.cpp -------------------------------------------------------------------------------- /strAstReduce.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/strAstReduce.cpp -------------------------------------------------------------------------------- /strMain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/strMain.cpp -------------------------------------------------------------------------------- /strRegex.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/strRegex.cpp -------------------------------------------------------------------------------- /strTheory.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/strTheory.cpp -------------------------------------------------------------------------------- /strTheory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/strTheory.h -------------------------------------------------------------------------------- /tests/charAt-001: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/charAt-001 -------------------------------------------------------------------------------- /tests/charAt-002: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/charAt-002 -------------------------------------------------------------------------------- /tests/charAt-003: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/charAt-003 -------------------------------------------------------------------------------- /tests/charAt-004: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/charAt-004 -------------------------------------------------------------------------------- /tests/charAt-005: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/charAt-005 -------------------------------------------------------------------------------- /tests/charAt-006: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/charAt-006 -------------------------------------------------------------------------------- /tests/charAt-007: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/charAt-007 -------------------------------------------------------------------------------- /tests/concat-000: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-000 -------------------------------------------------------------------------------- /tests/concat-001: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-001 -------------------------------------------------------------------------------- /tests/concat-002: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-002 -------------------------------------------------------------------------------- /tests/concat-003: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-003 -------------------------------------------------------------------------------- /tests/concat-004-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-004-unsat -------------------------------------------------------------------------------- /tests/concat-005-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-005-unsat -------------------------------------------------------------------------------- /tests/concat-006: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-006 -------------------------------------------------------------------------------- /tests/concat-007: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-007 -------------------------------------------------------------------------------- /tests/concat-008: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-008 -------------------------------------------------------------------------------- /tests/concat-009: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-009 -------------------------------------------------------------------------------- /tests/concat-010: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-010 -------------------------------------------------------------------------------- /tests/concat-011: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-011 -------------------------------------------------------------------------------- /tests/concat-012: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-012 -------------------------------------------------------------------------------- /tests/concat-013: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-013 -------------------------------------------------------------------------------- /tests/concat-014: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-014 -------------------------------------------------------------------------------- /tests/concat-015: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-015 -------------------------------------------------------------------------------- /tests/concat-016-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-016-unsat -------------------------------------------------------------------------------- /tests/concat-017: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-017 -------------------------------------------------------------------------------- /tests/concat-018: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-018 -------------------------------------------------------------------------------- /tests/concat-019-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-019-unsat -------------------------------------------------------------------------------- /tests/concat-020: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-020 -------------------------------------------------------------------------------- /tests/concat-021: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-021 -------------------------------------------------------------------------------- /tests/concat-022: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-022 -------------------------------------------------------------------------------- /tests/concat-023: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-023 -------------------------------------------------------------------------------- /tests/concat-024: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-024 -------------------------------------------------------------------------------- /tests/concat-025: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-025 -------------------------------------------------------------------------------- /tests/concat-026: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-026 -------------------------------------------------------------------------------- /tests/concat-027: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-027 -------------------------------------------------------------------------------- /tests/concat-028: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-028 -------------------------------------------------------------------------------- /tests/concat-029: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-029 -------------------------------------------------------------------------------- /tests/concat-030: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-030 -------------------------------------------------------------------------------- /tests/concat-031: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-031 -------------------------------------------------------------------------------- /tests/concat-032: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-032 -------------------------------------------------------------------------------- /tests/concat-033: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-033 -------------------------------------------------------------------------------- /tests/concat-034: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-034 -------------------------------------------------------------------------------- /tests/concat-035: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-035 -------------------------------------------------------------------------------- /tests/concat-036: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-036 -------------------------------------------------------------------------------- /tests/concat-037: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-037 -------------------------------------------------------------------------------- /tests/concat-038: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-038 -------------------------------------------------------------------------------- /tests/concat-039: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-039 -------------------------------------------------------------------------------- /tests/concat-040: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-040 -------------------------------------------------------------------------------- /tests/concat-041: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-041 -------------------------------------------------------------------------------- /tests/concat-042: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-042 -------------------------------------------------------------------------------- /tests/concat-043: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-043 -------------------------------------------------------------------------------- /tests/concat-044: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-044 -------------------------------------------------------------------------------- /tests/concat-045: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-045 -------------------------------------------------------------------------------- /tests/concat-046: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-046 -------------------------------------------------------------------------------- /tests/concat-047-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-047-unsat -------------------------------------------------------------------------------- /tests/concat-048: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-048 -------------------------------------------------------------------------------- /tests/concat-049: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-049 -------------------------------------------------------------------------------- /tests/concat-050: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-050 -------------------------------------------------------------------------------- /tests/concat-051: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-051 -------------------------------------------------------------------------------- /tests/concat-052: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-052 -------------------------------------------------------------------------------- /tests/concat-053: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-053 -------------------------------------------------------------------------------- /tests/concat-054-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-054-unsat -------------------------------------------------------------------------------- /tests/concat-055: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-055 -------------------------------------------------------------------------------- /tests/concat-056: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-056 -------------------------------------------------------------------------------- /tests/concat-057: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-057 -------------------------------------------------------------------------------- /tests/concat-058: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-058 -------------------------------------------------------------------------------- /tests/concat-059-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-059-unsat -------------------------------------------------------------------------------- /tests/concat-060: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-060 -------------------------------------------------------------------------------- /tests/concat-061: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-061 -------------------------------------------------------------------------------- /tests/concat-062: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-062 -------------------------------------------------------------------------------- /tests/concat-063: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-063 -------------------------------------------------------------------------------- /tests/concat-064: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-064 -------------------------------------------------------------------------------- /tests/concat-065: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-065 -------------------------------------------------------------------------------- /tests/concat-066: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-066 -------------------------------------------------------------------------------- /tests/concat-067-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-067-unsat -------------------------------------------------------------------------------- /tests/concat-068: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-068 -------------------------------------------------------------------------------- /tests/concat-069: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-069 -------------------------------------------------------------------------------- /tests/concat-070: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-070 -------------------------------------------------------------------------------- /tests/concat-071: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-071 -------------------------------------------------------------------------------- /tests/concat-072: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-072 -------------------------------------------------------------------------------- /tests/concat-073: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-073 -------------------------------------------------------------------------------- /tests/concat-074: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-074 -------------------------------------------------------------------------------- /tests/concat-075: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-075 -------------------------------------------------------------------------------- /tests/concat-076-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-076-unsat -------------------------------------------------------------------------------- /tests/concat-077: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-077 -------------------------------------------------------------------------------- /tests/concat-078: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-078 -------------------------------------------------------------------------------- /tests/concat-079: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-079 -------------------------------------------------------------------------------- /tests/concat-080: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-080 -------------------------------------------------------------------------------- /tests/concat-081: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-081 -------------------------------------------------------------------------------- /tests/concat-082: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-082 -------------------------------------------------------------------------------- /tests/concat-083: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-083 -------------------------------------------------------------------------------- /tests/concat-084: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-084 -------------------------------------------------------------------------------- /tests/concat-085: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-085 -------------------------------------------------------------------------------- /tests/concat-086: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-086 -------------------------------------------------------------------------------- /tests/concat-087: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-087 -------------------------------------------------------------------------------- /tests/concat-088: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-088 -------------------------------------------------------------------------------- /tests/concat-089: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-089 -------------------------------------------------------------------------------- /tests/concat-090: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-090 -------------------------------------------------------------------------------- /tests/concat-091: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-091 -------------------------------------------------------------------------------- /tests/concat-092: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-092 -------------------------------------------------------------------------------- /tests/concat-093: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-093 -------------------------------------------------------------------------------- /tests/concat-094: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-094 -------------------------------------------------------------------------------- /tests/concat-095: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-095 -------------------------------------------------------------------------------- /tests/concat-096: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-096 -------------------------------------------------------------------------------- /tests/concat-097: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-097 -------------------------------------------------------------------------------- /tests/concat-098: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-098 -------------------------------------------------------------------------------- /tests/concat-099: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/concat-099 -------------------------------------------------------------------------------- /tests/contains-001: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-001 -------------------------------------------------------------------------------- /tests/contains-002: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-002 -------------------------------------------------------------------------------- /tests/contains-003: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-003 -------------------------------------------------------------------------------- /tests/contains-004: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-004 -------------------------------------------------------------------------------- /tests/contains-005-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-005-unsat -------------------------------------------------------------------------------- /tests/contains-006: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-006 -------------------------------------------------------------------------------- /tests/contains-007: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-007 -------------------------------------------------------------------------------- /tests/contains-008: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-008 -------------------------------------------------------------------------------- /tests/contains-009: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-009 -------------------------------------------------------------------------------- /tests/contains-010: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-010 -------------------------------------------------------------------------------- /tests/contains-011: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-011 -------------------------------------------------------------------------------- /tests/contains-012-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-012-unsat -------------------------------------------------------------------------------- /tests/contains-013-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-013-unsat -------------------------------------------------------------------------------- /tests/contains-014-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-014-unsat -------------------------------------------------------------------------------- /tests/contains-015-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-015-unsat -------------------------------------------------------------------------------- /tests/contains-016: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-016 -------------------------------------------------------------------------------- /tests/contains-017-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-017-unsat -------------------------------------------------------------------------------- /tests/contains-018-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-018-unsat -------------------------------------------------------------------------------- /tests/contains-019-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-019-unsat -------------------------------------------------------------------------------- /tests/contains-020: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-020 -------------------------------------------------------------------------------- /tests/contains-021-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-021-unsat -------------------------------------------------------------------------------- /tests/contains-022-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-022-unsat -------------------------------------------------------------------------------- /tests/contains-023: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-023 -------------------------------------------------------------------------------- /tests/contains-024: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-024 -------------------------------------------------------------------------------- /tests/contains-025-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-025-unsat -------------------------------------------------------------------------------- /tests/contains-026-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-026-unsat -------------------------------------------------------------------------------- /tests/contains-027-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-027-unsat -------------------------------------------------------------------------------- /tests/contains-028-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-028-unsat -------------------------------------------------------------------------------- /tests/contains-029-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-029-unsat -------------------------------------------------------------------------------- /tests/contains-030-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-030-unsat -------------------------------------------------------------------------------- /tests/contains-031-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-031-unsat -------------------------------------------------------------------------------- /tests/contains-032-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-032-unsat -------------------------------------------------------------------------------- /tests/contains-033-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-033-unsat -------------------------------------------------------------------------------- /tests/contains-034: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-034 -------------------------------------------------------------------------------- /tests/contains-035-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-035-unsat -------------------------------------------------------------------------------- /tests/contains-036: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-036 -------------------------------------------------------------------------------- /tests/contains-037-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/contains-037-unsat -------------------------------------------------------------------------------- /tests/endswith-001: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/endswith-001 -------------------------------------------------------------------------------- /tests/endswith-002: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/endswith-002 -------------------------------------------------------------------------------- /tests/endswith-003: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/endswith-003 -------------------------------------------------------------------------------- /tests/endswith-004: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/endswith-004 -------------------------------------------------------------------------------- /tests/endswith-005: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/endswith-005 -------------------------------------------------------------------------------- /tests/indexof-001: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof-001 -------------------------------------------------------------------------------- /tests/indexof-002: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof-002 -------------------------------------------------------------------------------- /tests/indexof-003: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof-003 -------------------------------------------------------------------------------- /tests/indexof-004: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof-004 -------------------------------------------------------------------------------- /tests/indexof-005: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof-005 -------------------------------------------------------------------------------- /tests/indexof-006: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof-006 -------------------------------------------------------------------------------- /tests/indexof-007-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof-007-unsat -------------------------------------------------------------------------------- /tests/indexof-008: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof-008 -------------------------------------------------------------------------------- /tests/indexof-009: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof-009 -------------------------------------------------------------------------------- /tests/indexof-010: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof-010 -------------------------------------------------------------------------------- /tests/indexof-011-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof-011-unsat -------------------------------------------------------------------------------- /tests/indexof-012: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof-012 -------------------------------------------------------------------------------- /tests/indexof2-001: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof2-001 -------------------------------------------------------------------------------- /tests/indexof2-002: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof2-002 -------------------------------------------------------------------------------- /tests/indexof2-003: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof2-003 -------------------------------------------------------------------------------- /tests/indexof2-004: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof2-004 -------------------------------------------------------------------------------- /tests/indexof2-005: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof2-005 -------------------------------------------------------------------------------- /tests/indexof2-006: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof2-006 -------------------------------------------------------------------------------- /tests/indexof2-007: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof2-007 -------------------------------------------------------------------------------- /tests/indexof2-008: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof2-008 -------------------------------------------------------------------------------- /tests/indexof2-009: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof2-009 -------------------------------------------------------------------------------- /tests/indexof2-010: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof2-010 -------------------------------------------------------------------------------- /tests/indexof2-011: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof2-011 -------------------------------------------------------------------------------- /tests/indexof2-012: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof2-012 -------------------------------------------------------------------------------- /tests/indexof2-013: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/indexof2-013 -------------------------------------------------------------------------------- /tests/lastIndexof-001: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/lastIndexof-001 -------------------------------------------------------------------------------- /tests/lastIndexof-002: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/lastIndexof-002 -------------------------------------------------------------------------------- /tests/lastIndexof-003: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/lastIndexof-003 -------------------------------------------------------------------------------- /tests/lastIndexof-004: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/lastIndexof-004 -------------------------------------------------------------------------------- /tests/lastIndexof-005: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/lastIndexof-005 -------------------------------------------------------------------------------- /tests/lastIndexof-006: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/lastIndexof-006 -------------------------------------------------------------------------------- /tests/length-001: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/length-001 -------------------------------------------------------------------------------- /tests/length-002: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/length-002 -------------------------------------------------------------------------------- /tests/length-003: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/length-003 -------------------------------------------------------------------------------- /tests/length-004: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/length-004 -------------------------------------------------------------------------------- /tests/length-005: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/length-005 -------------------------------------------------------------------------------- /tests/length-006: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/length-006 -------------------------------------------------------------------------------- /tests/length-007: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/length-007 -------------------------------------------------------------------------------- /tests/length-008: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/length-008 -------------------------------------------------------------------------------- /tests/length-009: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/length-009 -------------------------------------------------------------------------------- /tests/misc-001: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/misc-001 -------------------------------------------------------------------------------- /tests/misc-002: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/misc-002 -------------------------------------------------------------------------------- /tests/regex-001: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-001 -------------------------------------------------------------------------------- /tests/regex-002-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-002-unsat -------------------------------------------------------------------------------- /tests/regex-003: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-003 -------------------------------------------------------------------------------- /tests/regex-004-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-004-unsat -------------------------------------------------------------------------------- /tests/regex-005-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-005-unsat -------------------------------------------------------------------------------- /tests/regex-006: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-006 -------------------------------------------------------------------------------- /tests/regex-007-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-007-unsat -------------------------------------------------------------------------------- /tests/regex-008: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-008 -------------------------------------------------------------------------------- /tests/regex-009: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-009 -------------------------------------------------------------------------------- /tests/regex-010: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-010 -------------------------------------------------------------------------------- /tests/regex-011-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-011-unsat -------------------------------------------------------------------------------- /tests/regex-012-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-012-unsat -------------------------------------------------------------------------------- /tests/regex-013: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-013 -------------------------------------------------------------------------------- /tests/regex-014: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-014 -------------------------------------------------------------------------------- /tests/regex-015: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-015 -------------------------------------------------------------------------------- /tests/regex-016: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-016 -------------------------------------------------------------------------------- /tests/regex-017: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-017 -------------------------------------------------------------------------------- /tests/regex-018: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-018 -------------------------------------------------------------------------------- /tests/regex-019-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-019-unsat -------------------------------------------------------------------------------- /tests/regex-020: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-020 -------------------------------------------------------------------------------- /tests/regex-021: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-021 -------------------------------------------------------------------------------- /tests/regex-022-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-022-unsat -------------------------------------------------------------------------------- /tests/regex-023: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-023 -------------------------------------------------------------------------------- /tests/regex-024: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-024 -------------------------------------------------------------------------------- /tests/regex-025: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-025 -------------------------------------------------------------------------------- /tests/regex-026: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-026 -------------------------------------------------------------------------------- /tests/regex-027: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-027 -------------------------------------------------------------------------------- /tests/regex-028-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-028-unsat -------------------------------------------------------------------------------- /tests/regex-031: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-031 -------------------------------------------------------------------------------- /tests/regex-032: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-032 -------------------------------------------------------------------------------- /tests/regex-033: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-033 -------------------------------------------------------------------------------- /tests/regex-034: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-034 -------------------------------------------------------------------------------- /tests/regex-035: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-035 -------------------------------------------------------------------------------- /tests/regex-041-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-041-unsat -------------------------------------------------------------------------------- /tests/regex-042: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-042 -------------------------------------------------------------------------------- /tests/regex-043: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-043 -------------------------------------------------------------------------------- /tests/regex-044: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-044 -------------------------------------------------------------------------------- /tests/regex-045-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-045-unsat -------------------------------------------------------------------------------- /tests/regex-046-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-046-unsat -------------------------------------------------------------------------------- /tests/regex-047: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-047 -------------------------------------------------------------------------------- /tests/regex-048: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-048 -------------------------------------------------------------------------------- /tests/regex-049: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/regex-049 -------------------------------------------------------------------------------- /tests/replace-001: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/replace-001 -------------------------------------------------------------------------------- /tests/replace-002: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/replace-002 -------------------------------------------------------------------------------- /tests/replace-003: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/replace-003 -------------------------------------------------------------------------------- /tests/replace-004-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/replace-004-unsat -------------------------------------------------------------------------------- /tests/replace-005: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/replace-005 -------------------------------------------------------------------------------- /tests/replace-006: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/replace-006 -------------------------------------------------------------------------------- /tests/replace-007: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/replace-007 -------------------------------------------------------------------------------- /tests/replace-008: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/replace-008 -------------------------------------------------------------------------------- /tests/replace-009: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/replace-009 -------------------------------------------------------------------------------- /tests/replace-010: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/replace-010 -------------------------------------------------------------------------------- /tests/replace-011-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/replace-011-unsat -------------------------------------------------------------------------------- /tests/replace-012: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/replace-012 -------------------------------------------------------------------------------- /tests/startswith-001: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/startswith-001 -------------------------------------------------------------------------------- /tests/startswith-002: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/startswith-002 -------------------------------------------------------------------------------- /tests/startswith-003: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/startswith-003 -------------------------------------------------------------------------------- /tests/startswith-004: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/startswith-004 -------------------------------------------------------------------------------- /tests/startswith-005: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/startswith-005 -------------------------------------------------------------------------------- /tests/substring-001: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/substring-001 -------------------------------------------------------------------------------- /tests/substring-002: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/substring-002 -------------------------------------------------------------------------------- /tests/substring-003: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/substring-003 -------------------------------------------------------------------------------- /tests/substring-004: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/substring-004 -------------------------------------------------------------------------------- /tests/substring-005: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/substring-005 -------------------------------------------------------------------------------- /tests/substring-006-unsat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/tests/substring-006-unsat -------------------------------------------------------------------------------- /z3-src-4.1.1.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/z3-src-4.1.1.zip -------------------------------------------------------------------------------- /z3.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/z3str/Z3-str/HEAD/z3.patch --------------------------------------------------------------------------------