source: CIVL/examples/languageFeatures/self.cvl@ 025cc4f

/* Commandline execution:
 *              civl verify self.cvl
 * */
#include<civlc.cvh>

$proc target = $proc_null;

void waiter() {
  target = $self;
}

void main() {
  $proc wp = $spawn waiter();
  
  $when(target != $proc_null);
  $assert((wp == target));
  $wait(target);
}