Skip to content

Update DSS to work with the latest internal dss

AkshayWarrierrequested to merge
update-dss into main

This PR updates the configuration and parts of code affected by latest changes of internal DSS introduced in cpachecker!325.

Merge request reports