Autograde Selfie Assignment

Printing first BTOR model, way not done #1215

Sign in to view logs

Triggered via push May 4, 2024 13:47

ckirsch

rotor

Status Success

Total duration 19s

Artifacts –

grader.yml

on: push

Run autograder on linux

Run autograder on macOS