Skip to content
Code Coverage

add partial evaluation cases for algebraic data-types for recursive f… #3483

Sign in to view logs

add partial evaluation cases for algebraic data-types for recursive f…

add partial evaluation cases for algebraic data-types for recursive f… #3483

Triggered via push June 16, 2024 23:07
@NikolajBjornerNikolajBjorner
pushed ef86f5f
master
Status Success
Total duration 36m 47s
Artifacts 2

coverage.yml

on: push
build
36m 38s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
coverage-2024-06-16 Expired
53 KB
coverage-details-2024-06-16 Expired
18.4 MB