/* * 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 TYPEOFTIME; typedef unsigned char TYPEOFAGENTID; typedef unsigned char TYPEOFKEYIID; typedef unsigned char TYPEOFKEYLID; TYPEOFVALUES mod(TYPEOFVALUES n, TYPEOFVALUES m) { return (n >= 0) ? (n % m) : (m + (n % m)); } TYPEOFVALUES I_0_0; TYPEOFVALUES I_0_1; TYPEOFVALUES I_1_0; TYPEOFVALUES I_1_1; TYPEOFVALUES I_2_0; TYPEOFVALUES I_2_1; TYPEOFVALUES getI(int i, int j) { switch (i) { case 0: return (j == 0) ? (I_0_0) : (I_0_1); case 1: return (j == 0) ? (I_1_0) : (I_1_1); case 2: return (j == 0) ? (I_2_0) : (I_2_1); default: { } } } TYPEOFTIME __LABS_time; unsigned char pc_0_0; unsigned char pc_1_0; unsigned char pc_2_0; TYPEOFVALUES getpc(int i, int j) { switch (i) { case 0: return pc_0_0; case 1: return pc_1_0; case 2: return pc_2_0; default: { } } } void setpc(int i, int j, unsigned char value) { switch (i) { case 0: pc_0_0 = value; break; case 1: pc_1_0 = value; break; case 2: pc_2_0 = value; break; default: { } } } _Bool Hin_0_0; _Bool Hin_1_0; _Bool Hin_2_0;
content may be truncated. 'popout' for larger text window.