Code

feat: introduce other failure modes#237

Code

Merged

daejunpark merged 10 commits intomaina16z/halmos:mainfrom feat/timeouta16z/halmos:feat/timeoutCopy head branch name to clipboardDec 21, 2023

+55-34

Commits

Commits on Dec 21, 2023

• feat: introduce other failure modes

  daejunpark

  committed
  6f44074

  Copy full SHA for 6f44074

• shorten failure types

  daejunpark

  committed
  e70637d

  Copy full SHA for e70637d

• update expected

  daejunpark

  committed
  2581938

  Copy full SHA for 2581938

• Merge branch 'main' into feat/timeout

  daejunpark

  authored
  1495c77

  Copy full SHA for 1495c77

• print total # of paths only

  daejunpark

  committed
  51c34ed

  Copy full SHA for 51c34ed

• Merge remote-tracking branch 'origin/feat/timeout' into feat/timeout

  daejunpark

  committed
  8f8ca0c

  Copy full SHA for 8f8ca0c

• remove unused option

  daejunpark

  committed
  5a01d80

  Copy full SHA for 5a01d80

• drop --error-unknown

  daejunpark

  committed
  6b938a6

  Copy full SHA for 6b938a6

• print ERROR with more info instead of REVERT

  daejunpark

  committed
  0621c4b

  Copy full SHA for 0621c4b

• fix lint

  daejunpark

  committed
  70bf9f9

  Copy full SHA for 70bf9f9