quint icon indicating copy to clipboard operation
quint copied to clipboard

Published 20 hours ago • verified publisher icon informalsystems

Investigate name errors in `classic/distributed/TwoPhaseCommit/two_phase_commit_modules.qnt`

Open shonfeder opened this issue 1 year ago • 0 comments

Two different kinds of name errors have been triggered by this exercise in factoring a spec into several modules

  • ef6a7fb
  • 65b1883

After investigating, these may be factored out into two specific sub-issues.

shonfeder avatar Dec 11 '23 18:12 shonfeder