Skip to content
Sonar analysis

Nontermination witnesses #1972

Sign in to view logs

Nontermination witnesses

Nontermination witnesses #1972

Triggered via pull request February 16, 2025 19:37
@AdamZsofiAdamZsofi
synchronize #338
Status Success
Total duration 12m 26s
Artifacts –

sonar.yml

on: pull_request_target
run-sonar
12m 16s
run-sonar
Fit to window
Zoom out
Zoom in