Sha256: 3d43cc9e99a10f7f3941acb9f0ec5280abf9fc249a8263f7c88988b6f70386f6
Contents?: true
Size: 206 Bytes
Versions: 4
Compression:
Stored size: 206 Bytes
Contents
(* Control execution *) \* RunProcessRunning( stepdefs ) == { e.process : e \in Head( stepdefs ) } RunInTransaction == tx_running \* state variable tx_running records transaction state
Version data entries
4 entries across 4 versions & 1 rubygems