Resetting the symbolic values

[karthiv]

Is there any way to reset the symbolic values along the path - chosen during execution?

If I have to model Input in a cycle, how to take different values of i - during each iteration?

while(true){
int i = takeinput();
}

[yannicnoller]

Hi @karthiv! I am not sure whether I understand your issue correctly, but what you can do is to add new symbolic values at runtime, e.g.,

int N = 10;
int a[] = new int[N];
for (int i = 0; i < N; i++) {
   a[i] = Debug.makeSymbolicInteger("sym_" + i);
}

[karthiv]

Thank you so much for the response

…

On Fri, 17 Nov 2023, 10:30 Yannic Noller, ***@***.***> wrote: Closed #88 <#88> as completed. — Reply to this email directly, view it on GitHub <#88 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AACVPN63NMMT537U5RIZPWDYE3VPLAVCNFSM6AAAAAA7JQQBEGVHI2DSMVQWIX3LMV45UABCJFZXG5LFIV3GK3TUJZXXI2LGNFRWC5DJN5XDWMJQHE4DSNJYG4ZTINY> . You are receiving this because you were mentioned.Message ID: ***@***.***>