The source project of this merge request has been removed.
Added veriabsl.xml and updated category-structure.yml
Need to add a new benhcmark-def "veriabsl.xml" for tool VeriAbsL.
Need to add a new benhcmark-def "veriabsl.xml" for tool VeriAbsL.