REUSE Compliance Check

SV-COMP 25: Add tool info for RacerF #718

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Triggered via pull request October 20, 2024 15:35

TDacik

opened #1089

TDacik:main

Status Success

Total duration 19s

Artifacts –

reuse.yml

on: pull_request