This repository has been archived by the owner on Jul 17, 2023. It is now read-only.

adapt (ARRANGE language)

Jump to bottom

ETAS-Eder edited this page Aug 20, 2014 · 1 revision

example

adapt {
  channeltype init.tx_machine1 as "T_MSG_foo123_TX"; /* my Promela channel name defined in :init: */
  channeltype machine1.outargs as "T_machine1OutputMsg"; /* my Promela channel name defined in proctype named machine1 */
}