projects
/
lttv.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
blame
|
history
|
raw
|
HEAD
move everything out of trunk
[lttv.git]
/
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
} }
This page took
0.028723 seconds
and
4
git commands to generate.