Add declaration of LIV as validator in the category structure, as this was... (!431) · Merge requests · SoSy-Lab / SV-Comp / Benchmark Definitions

Add declaration of LIV as validator in the category structure, as this was forgotten in MR !402 (merged)

Add declaration of LIV as validator in the category structure, as this was...