Autograde Selfie Assignment

Bringing back incremental SMT-LIB option #1299

Sign in to view logs

Triggered via push August 27, 2024 15:58

ckirsch

rotor

Status Success

Total duration 16s

Artifacts –

grader.yml

on: push

Run autograder on linux

Run autograder on macOS