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

Sign in to view logs

Triggered via pull request December 23, 2023 19:36

sorawee

opened #276

sorawee:fix-literal-encoding

Status Success

Total duration 41m 4s

Artifacts –

tests.yml

on: pull_request

Matrix: test