Closed karthiv closed 10 months ago
yannicnoller
commented
10 months ago 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
commented
10 months ago Thank you so much for the response
On Fri, 17 Nov 2023, 10:30 Yannic Noller, @.***> wrote:
Closed #88 https://github.com/SymbolicPathFinder/jpf-symbc/issues/88 as completed.
— Reply to this email directly, view it on GitHub https://github.com/SymbolicPathFinder/jpf-symbc/issues/88#event-10989587347, or unsubscribe https://github.com/notifications/unsubscribe-auth/AACVPN63NMMT537U5RIZPWDYE3VPLAVCNFSM6AAAAAA7JQQBEGVHI2DSMVQWIX3LMV45UABCJFZXG5LFIV3GK3TUJZXXI2LGNFRWC5DJN5XDWMJQHE4DSNJYG4ZTINY . You are receiving this because you were mentioned.Message ID: @.***>
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(); }