BatSat

tests: basic kani harnesses for `Var` and `Lit` #15

Sign in to view logs

Triggered via push July 8, 2024 09:04

chrjabs

next-major

Status Success

Total duration 2m 28s

Artifacts –

batsat.yml

on: push

Matrix: Build and test