/* * Program used in the experimental evaluation of the following paper: * De Nicola, Di Stefano, Inverso. Multi-Agent Systems With Virtual Stigmergies. Sci.Comp. Progr. 187, 2020 * * Date: 2020 * Authors: Luca Di Stefano, Omar Inverso * Contact: luca <dot> distefano <at> gssi <dot> it */ extern int __VERIFIER_nondet_int(void); typedef char TYPEOFVALUES; typedef unsigned char TYPEOFPC; typedef unsigned char TYPEOFAGENTID; typedef unsigned char TYPEOFKEYIID; typedef unsigned char TYPEOFKEYEID; TYPEOFVALUES I_0; TYPEOFVALUES I_1; TYPEOFVALUES I_2; TYPEOFVALUES E_0; TYPEOFVALUES E_1; TYPEOFVALUES E_2; TYPEOFVALUES E_3; unsigned char pc_0; unsigned char pc_1; unsigned char pc_2; TYPEOFVALUES _I_21_1_0; TYPEOFVALUES _I_21_1_1; TYPEOFVALUES _I_21_1_2; TYPEOFVALUES _E_21_1_0; TYPEOFVALUES _E_21_1_1; TYPEOFVALUES _E_21_1_2; TYPEOFVALUES _E_21_1_3; TYPEOFPC _pc_21_1_0; TYPEOFPC _pc_21_1_1; TYPEOFPC _pc_21_1_2; void setpc(int x0, int x1, unsigned value) { switch ((3 * x0) + x1) { case 0: pc_0 = value; break; case 1: pc_1 = value; break; case 2: pc_2 = value; break; } } TYPEOFVALUES getE(int x0) { switch (x0) { case 0: return E_0; case 1: return E_1; case 2: return E_2; case 3: return E_3; } } TYPEOFVALUES get_I_21_1(int x0, int x1) { switch ((3 * x0) + x1) { case 0: return _I_21_1_0; case 1: return _I_21_1_1; case 2: return _I_21_1_2; } } TYPEOFPC get_pc_21_1(int x0, int x1) { switch ((3 * x0) + x1) { case 0: return _pc_21_1_0; case 1: return _pc_21_1_1;
content may be truncated. 'popout' for larger text window.