klee/klee — pull request #110 by pcc (2014-04-16 06:02:06+00:00)
Title: Associate a domain and range with each array

(A long overdue change from KLEE-FP!)