Tests

feat: add a parameter to adjust SMT encoding of literals #52

Sign in to view logs

Triggered via push December 23, 2023 19:34

sorawee

fix-literal-encoding

Status Success

Total duration 41m 16s

Artifacts –

tests.yml

on: push

Matrix: test