apalache icon indicating copy to clipboard operation
apalache copied to clipboard

Published 20 hours ago • verified publisher icon apalache-mc

Address tech debt around `SeqModelChecker`

Open thpani opened this issue 2 years ago • 0 comments

There is some tech debt / open refactoring tasks that lead to unnecessary complexity around SeqModelChecker.

My hope with this issue is to collect a (somewhat) exhaustive list of items that we can work off.

  • [ ] #2052
  • [ ] #2053
  • [ ] #2054
  • [ ] #2055

thpani avatar Aug 10 '22 06:08 thpani