add registerSMTType similar to registerUISMTFunction #772

Sign in to view logs

Triggered via push September 16, 2024 19:02

LeventErkok

arraySimp

Status Success

Total duration 5m 52s

Artifacts –

haskell-ci.yml

on: push

Matrix: linux