Autograde Selfie Assignment

Less verbose solver output on SMT-LIB files #1298

Sign in to view logs

Triggered via push August 27, 2024 14:27

Status Success

Total duration 20s

Artifacts –

grader.yml

on: push

Run autograder on linux

Run autograder on macOS