trunk/verif/Spin/Test/priorities

   1 /* test execution priorities
   2    run this as:
   3         spin -p -g priorities
   4    requires Spin Version 2.5 or later
   5 */
   6
   7 int a[5];
   8
   9 proctype A()
  10 {
  11         do
  12         :: printf("%d\n", _pid); a[_pid]++
  13         od
  14 }
  15
  16 init {
  17         atomic {
  18                 run A() priority 1;
  19                 run A() priority 2;
  20                 run A() priority 3;
  21                 run A() priority 4;
  22 }       }