Code

2181/followup refactor#2194

Code

Closed

shonfeder wants to merge 3 commits intomainapalache-mc/apalache:mainfrom 2181/followup-refactorapalache-mc/apalache:2181/followup-refactorCopy head branch name to clipboard

+122-130

Commits

Commits on Oct 5, 2022

• Move Counterexample into tla_io package

  Show description for baceb26
  

  Shon Feder

  committed
  baceb26

  Copy full SHA for baceb26

• Remove commented out method

  

  Shon Feder

  committed
  05d60d0

  Copy full SHA for 05d60d0

• Fix some tests

  

  Shon Feder

  committed
  06c4672

  Copy full SHA for 06c4672