Commit 91dce01

authored

Merge pull request #1412 from goblint/lin2var-hashtables

Lin2var relations fine-tuning - switching from array to map

2 parents 3eef2b6 + 1ed6ca0 commit 91dce01Copy full SHA for 91dce01

3 files changed

+249

-192

lines changed

+249

-192

lines changed

Comments

(0)