Code

Handling error strategy#853

Code

Merged

bclement-ocp merged 4 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Stevendeo:properly-handling-errorsStevendeo/alt-ergo:properly-handling-errorsCopy head branch name to clipboardOct 9, 2023

+212-93

Commits

Commits on Oct 5, 2023

• Consistent exit strategy and prettier error messages

  Stevendeo

  committed
  7be04f2

• Newline at the beginning of smt printing and fix tests

  Stevendeo

  committed
  d1a40f3

• Poetry

  Stevendeo

  committed
  2d143d1

Commits on Oct 9, 2023

• Poetry

  Stevendeo

  committed
  119a0f3