Untitled

From Tinct Dove, 13 Years ago, written in C, viewed 2 times.

URL https://paste.blessuren.de/view/89d5ec5e Embed

Download Paste or View Raw

1       #define N 10
2       
3       byte x=0;
4       byte y=0;
5       byte z=0;
6       
7       active proctype P_X(){
8               do
9                       :: x==y && x == z && x < N->
10                      x=x+1
11              od;
12      }
13      active proctype P_Y(){  
14              do
15                      :: x>y && y < N->
16                      y=y+1
17              od;
18      }
19      
20      active proctype P_Z(){  
21              do
22                      :: y>z && z < N->
23                      z=z+1
24              od;
25      }
 

Reply to "Untitled"

Here you can reply to the paste above

Author What's your name?

Title Give your paste a title.

Language What language is your paste written in?

Your paste Paste your paste here

Create Shorturl Create a shorter url that redirects to your paste?

Private Private paste aren't shown in recent listings.

Delete After When should we delete your paste?

blessuren pastebin

Untitled

Reply to "Untitled"