Skip to content
Sonar analysis

xcfa projection + separate mayCover versions for CEGAR and other algo… #237

Sign in to view logs

xcfa projection + separate mayCover versions for CEGAR and other algo…

xcfa projection + separate mayCover versions for CEGAR and other algo… #237

Triggered via push September 20, 2023 15:36
@csanadtelbiszcsanadtelbisz
pushed 53a611a
xcfa-refactor
Status Success
Total duration 12m 39s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

sonar.yml

on: push
run-sonar
12m 25s
run-sonar
Fit to window
Zoom out
Zoom in