about summary refs log tree commit diff homepage
path: root/www/TestingCoreutils.html
AgeCommit message (Collapse)Author
2013-01-11Improved a bit the documentation for testing Coreutils. Thanks to Tomasz ↵Cristian Cadar
Kuchta for his help. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@172186 91177308-0d34-0410-b5e6-96231b3b80d8
2012-04-05Removed unnecessary --init-env option.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@154110 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05Write "Step 6: Replaying KLEE generated test cases", using klee-replay.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@78168 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-26A quick editing pass.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77157 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-26Start writing a user focused coreutils case study.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77156 91177308-0d34-0410-b5e6-96231b3b80d8
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-03-01 06:02:15 +0000