Skip to content

Printing first BTOR model, way not done #1215

Printing first BTOR model, way not done

Printing first BTOR model, way not done #1215

Triggered via push May 4, 2024 13:47
Status Success
Total duration 19s
Artifacts

grader.yml

on: push
Run autograder on linux
4s
Run autograder on linux
Run autograder on macOS
9s
Run autograder on macOS
Fit to window
Zoom out
Zoom in