From 136ad7568734234c9a06badd98db4aa3b14392c0 Mon Sep 17 00:00:00 2001
From: Donato Clun <d.clun@imperial.ac.uk>
Date: Tue, 9 Jun 2020 20:12:36 +0100
Subject: [PATCH] fix AASTORE symbolic arrays: propagate PC to current CG

---
 src/main/gov/nasa/jpf/symbc/bytecode/symarrays/AASTORE.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/gov/nasa/jpf/symbc/bytecode/symarrays/AASTORE.java b/src/main/gov/nasa/jpf/symbc/bytecode/symarrays/AASTORE.java
index 2ae4b019..abb9aaa2 100644
--- a/src/main/gov/nasa/jpf/symbc/bytecode/symarrays/AASTORE.java
+++ b/src/main/gov/nasa/jpf/symbc/bytecode/symarrays/AASTORE.java
@@ -113,7 +113,7 @@ public Instruction execute (ThreadInfo ti) {
                         arrayRef = frame.peek(2);
                         ElementInfo eiArray = ti.getModifiableElementInfo(arrayRef);
                         eiArray.setReferenceElement(currentChoice, value);
-
+                        ((PCChoiceGenerator) cg).setCurrentPC(pc);
                         frame.pop(3); // We pop the array, the object and the index
                         return getNext(ti);
                       } else {