Index of /src/encrusted-1.1.0/tests/

../
README.czech.txt                                   18-Feb-2019 23:37                3332
advent.z3                                          18-Feb-2019 23:37               66414
curses.z3                                          18-Feb-2019 23:37              117976
curses.z3.regtest                                  18-Feb-2019 23:37                 772
czech.z3                                           14-Dec-2018 06:20               10752
czech.z3.regtest                                   19-Feb-2019 00:15                1951
czech.z4                                           14-Dec-2018 06:20               11264
czech.z4.regtest                                   19-Feb-2019 00:15                2023
czech.z5                                           14-Dec-2018 06:20               13824
czech.z5.regtest                                   19-Feb-2019 00:09                2291
czech.z8                                           14-Dec-2018 06:20               14336
czech.z8.regtest                                   19-Feb-2019 00:10                2291
minizork.z3                                        18-Feb-2019 23:37               52216
minizork.z3.regtest                                19-Feb-2019 00:33                1219
praxix.z5                                          18-Feb-2019 23:37               31744
praxix.z5.regtest                                  19-Feb-2019 00:30                 532
regtest.py                                         18-Feb-2019 23:37               40524
runtests.sh                                        19-Feb-2019 00:33                 528