raph-amiard/Z3 — comment on commit a01c234ff293d8c4cef6e4d6c157d8dd7259e9d9
File: src/GenBlock.cpp line 688
By raph-amiard:

There is a bug, since you are storing the global in TmpVal, second parameter should be TmpVal and not getAccu()