klee/klee — pull request #167 by willemp (2014-10-09 15:26:19+00:00)
Title: Fix 64bit printing bug in testing utils

the _testingUtils do not properly print 64bit numbers. Fixing this bug exposes a failing test in test/Concrete/ConstantExpr.ll. These commits add test cases for _testingUtils, fix the ConstantExpr test case, and fix the 64bit printing bug in _testingUtils