klee/klee — pull request #112 by hpalikareva (2014-04-16 17:15:10+00:00)
Title: Removing a few more hard-coded values for domains and ranges of Array ob...

Removing a few more hard-coded values for domains and ranges of Array objects in addition to @pcc's earlier commit.