Skip to content

Updated LICENSE, README and INSTALL files for VeriAbsL

Sakshi Agrawal requested to merge VeriAbsL into main

Once you created the merge request, please check the items below and check-mark them.

  • Tool runs with CoVeriTeam and delivers expected results (see FAQ)
  • Tool's issue in this repository is labeled with StatusWorks with CoVeriTeam
  • MR is approved or created by code owner
  • Branch to be merged is in this repository (such that we can see the CI results, and you will not run into space issues)
Edited by Sakshi Agrawal

Merge request reports