[Error: key not found] list of benchmarks

[izlatkin]

The list of benchmarks for all 3 modes (inv mode 0, inv mode 1, inv mode 2):

benchmark03_linear.c
benchmark07_linear.c
compact.c
invert_string-1.c
invert_string-2.c
invert_string-3.c
linear-inequality-inv-a.c
linear-inequality-inv-b.c
nec11.c
nec20.c
string-2.c
terminator_02-2.c
terminator_03-2.c
trex02-1.c
trex02-2.c
trex03-1.c
trex03-2.c
trex04.c
veris.c_OpenSER_cases1_stripFullBoth_arr.c
veris.c_sendmail_tTflag_arr_one_loop.c
vogal-1.c
vogal-2.c

[grigoryfedyukovich]

for most of them, it is a SeaHorn issue. For trex03-2 (and maybe some more), it was our issue -- fixed now.

[izlatkin]

I still see this error for trex03-2