- if (newHighLevelStateCasted.length() != 3)
- throw new IllegalArgumentException("Expected BitVector of length 3, not " + newHighLevelStateCasted.length());
- return ((BitVector[]) lastState)[addr] = newHighLevelStateCasted;
+ if (newHighLevelStateCasted.length() != 12)
+ throw new IllegalArgumentException("Expected BitVector of length 12, not " + newHighLevelStateCasted.length());
+ BitVector[] memC = (BitVector[]) lastState;
+ memC[addr] = newHighLevelStateCasted;
+ return memC;