Index of /current_tree/toy_decompiler/files/tests
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
z3_test.sh 2020-07-05 19:43 1.2K
![[ ]](/icons/unknown.gif)
t9_obf.s.smt 2025-10-16 18:28 289
t9_obf.s 2025-10-16 18:28 130
t8_obf.s.smt 2025-10-16 18:28 270
t8_obf.s 2025-10-16 18:28 173
t7_obf.s.smt 2025-10-16 18:28 262
t7_obf.s 2025-10-16 18:28 151
t6_obf.s.smt 2025-10-16 18:28 236
t6_obf.s 2025-10-16 18:28 255
t5_obf.s.smt 2025-10-16 18:28 285
t5_obf.s 2025-10-16 18:28 378
t11_obf.s.smt 2025-10-16 18:28 219
t11_obf.s 2025-10-16 18:28 83
t10_obf.s.smt 2025-10-16 18:28 261
t10_obf.s 2025-10-16 18:28 116
sub_by_not_neg.s.smt 2025-10-16 18:28 240
sub_by_not_neg.s 2025-10-16 18:28 194
shift.s.smt 2025-10-16 18:28 207
shift.s 2025-10-16 18:28 35
remainder.s.smt 2025-10-16 18:28 237
remainder.s 2025-10-16 18:28 62
neg4_v2.s.smt 2025-10-16 18:28 224
neg4_v2.s 2025-10-16 18:28 103
neg4.s.smt 2025-10-16 18:28 224
neg4.s 2025-10-16 18:28 44
neg3.s.smt 2025-10-16 18:28 197
neg3.s 2025-10-16 18:28 29
neg2.s.smt 2025-10-16 18:28 223
neg2.s 2025-10-16 18:28 46
neg.s.smt 2025-10-16 18:28 223
neg.s 2025-10-16 18:28 47
mul_add3.s.smt 2025-10-16 18:28 315
mul_add3.s 2025-10-16 18:28 71
mul_add2.s.smt 2025-10-16 18:28 341
mul_add2.s 2025-10-16 18:28 70
mul_add.s.smt 2025-10-16 18:28 233
mul_add.s 2025-10-16 18:28 41
mul31_GCC.s.smt 2025-10-16 18:28 248
mul31_GCC.s 2025-10-16 18:28 79
mul21.s.smt 2025-10-16 18:28 315
mul21.s 2025-10-16 18:28 352
mul2.s.smt 2025-10-16 18:28 235
mul2.s 2025-10-16 18:28 36
mul19_comm_test.s.smt 2025-10-16 18:28 288
mul19_comm_test.s 2025-10-16 18:28 328
mul19_3.s.smt 2025-10-16 18:28 288
mul19_3.s 2025-10-16 18:28 340
mul19_2.s.smt 2025-10-16 18:28 315
mul19_2.s 2025-10-16 18:28 308
mul19.s.smt 2025-10-16 18:28 288
mul19.s 2025-10-16 18:28 260
mul.s.smt 2025-10-16 18:28 207
mul.s 2025-10-16 18:28 35
fahr_to_celsius_obf2.s.smt 2025-10-16 18:28 629
fahr_to_celsius_obf2.s 2025-10-16 18:28 395
fahr_to_celsius_obf1.s.smt 2025-10-16 18:28 345
fahr_to_celsius_obf1.s 2025-10-16 18:28 236
fahr_to_celsius.s.smt 2025-10-16 18:28 345
fahr_to_celsius.s 2025-10-16 18:28 117
div_by_mult1234_unsigned.s.smt 2025-10-16 18:28 292
div_by_mult1234_unsigned.s 2025-10-16 18:28 98
div_by_mult10_unsigned.s.smt 2025-10-16 18:28 292
div_by_mult10_unsigned.s 2025-10-16 18:28 97
align2grain.s.smt 2025-10-16 18:28 357
align2grain.s 2025-10-16 18:28 215
add_by_sub.s.smt 2025-10-16 18:28 215
add_by_sub.s 2025-10-16 18:28 202
add_by_not_neg.s.smt 2025-10-16 18:28 240
add_by_not_neg.s 2025-10-16 18:28 238
add2.s.smt 2025-10-16 18:28 299
add2.s 2025-10-16 18:28 68
add1.s.smt 2025-10-16 18:28 221
add1.s 2025-10-16 18:28 34
add.s.smt 2025-10-16 18:28 207
add.s 2025-10-16 18:28 23
XOR1_v2.s.smt 2025-10-16 18:28 216
XOR1_v2.s 2025-10-16 18:28 119
XOR1.s.smt 2025-10-16 18:28 216
XOR1.s 2025-10-16 18:28 78
De_Morgan2.s.smt 2025-10-16 18:28 230
De_Morgan2.s 2025-10-16 18:28 59
De_Morgan1.s.smt 2025-10-16 18:28 230
De_Morgan1.s 2025-10-16 18:28 59
AND_by_shifts3.s.smt 2025-10-16 18:28 263
AND_by_shifts3.s 2025-10-16 18:28 68
AND_by_shifts2.s.smt 2025-10-16 18:28 263
AND_by_shifts2.s 2025-10-16 18:28 68
AND_by_shifts.s.smt 2025-10-16 18:28 263
AND_by_shifts.s 2025-10-16 18:28 164
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443