Skip to content
Analysis of DiffKemp equivalence checking

EqBench: Enable to run analysis in CI #34

Sign in to view logs

EqBench: Enable to run analysis in CI

EqBench: Enable to run analysis in CI #34

Triggered via push January 22, 2024 07:36
@PLukas2018PLukas2018
pushed dc8c0b7
eqbench-analysis-with-ci
Status Success
Total duration 7m 28s
Artifacts –

analysis.yml

on: push
EqBench
7m 21s
EqBench
Fit to window
Zoom out
Zoom in