Autograde Selfie Assignment

Z3 does not support bvinc and bvdec #1297

Sign in to view logs

Triggered via push August 27, 2024 10:40

Status Success

Total duration 16s

Artifacts –

grader.yml

on: push

Run autograder on linux

Run autograder on macOS