about summary refs log tree commit diff homepage
path: root/TODO.txt
diff options
context:
space:
mode:
authorCristian Cadar <cristic@cs.stanford.edu>2010-06-21 18:04:13 +0000
committerCristian Cadar <cristic@cs.stanford.edu>2010-06-21 18:04:13 +0000
commit8253b1795ba9e4d44e92d5d41151f56ef6be9a18 (patch)
tree09bea2e5f8d811e6ebe194c085b2c7ec52b69daf /TODO.txt
parent40e5e2712ec0165daaeab73cc7c3d35c900a7a8b (diff)
downloadklee-8253b1795ba9e4d44e92d5d41151f56ef6be9a18.tar.gz
Applied Stefan Bucur's patch that fixes a non-deterministic bug in the
regression suite (see http://llvm.org/bugs/show_bug.cgi?id=7423)



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@106431 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'TODO.txt')
0 files changed, 0 insertions, 0 deletions