Code

Support of get-info SMT2 command#837

Code

Merged

bclement-ocp merged 4 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Stevendeo:get-infoStevendeo/alt-ergo:get-infoCopy head branch name to clipboardOct 2, 2023

+195-74

Commits

Commits on Sep 28, 2023

• Support of get-info SMT2 command

  Stevendeo

  committed
  fea288b

• Update tests

  Stevendeo

  committed
  52532f4

• Format

  Stevendeo

  committed
  2c2b300

Commits on Oct 2, 2023

• Removing comment

  Stevendeo

  committed
  96e04df