Skip to content
Make Everything Selfie

Using lambda expressions to model check with Z3 #1664

Sign in to view logs

Using lambda expressions to model check with Z3

Using lambda expressions to model check with Z3 #1664

Triggered via push September 7, 2024 11:15
@ckirschckirsch
pushed 4b9d0d5
rotor
Status Success
Total duration 2h 43m 5s
Artifacts –

selfie.yml

on: push
Make all of selfie on Linux
19m 46s
Make all of selfie on Linux
Make all of selfie on macOS
9m 52s
Make all of selfie on macOS
Make all of selfie on Windows
20m 38s
Make all of selfie on Windows
Make everything of selfie on docker
2h 42m
Make everything of selfie on docker
Fit to window
Zoom out
Zoom in