Autograde Selfie Assignment

No SMT-LIB generation without unrolling #1263

Sign in to view logs

Triggered via push June 27, 2024 16:43

ckirsch

rotor

Status Success

Total duration 16s

Artifacts –

grader.yml

on: push

Run autograder on linux

Run autograder on macOS