Autograde Selfie Assignment

Printing SMT-LIB zeroed arrays #1270

Sign in to view logs

Triggered via push July 15, 2024 16:16

ckirsch

rotor

Status Success

Total duration 20s

Artifacts –

grader.yml

on: push

Run autograder on linux

Run autograder on macOS