about summary refs log tree commit diff homepage
path: root/test
AgeCommit message (Expand)Author
2009-06-07Implement array declarations.Daniel Dunbar
2009-06-07Update test case.Daniel Dunbar
2009-06-07Eliminate anonymous versions.Daniel Dunbar
2009-06-05Support the extended query command syntax.Daniel Dunbar
2009-06-05Turn an assert into a parse failure.Daniel Dunbar
2009-06-05Add evaluation support to kleaver (now the default).Daniel Dunbar
2009-06-05Add test case.Daniel Dunbar
2009-06-04Moved MultiByteReads.pc in test/Expr/ParserCristian Cadar
2009-06-04Fixed a bug in Kleaver's parser: APInt does not allow "truncation" toCristian Cadar
2009-06-04Added a couple of tests for ReadLSB/MSB. Changed kleaver to write to stdout.Cristian Cadar
2009-06-03Update a few things that got forgotten in the great "bout" to "ktest"Daniel Dunbar
2009-05-23Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backwa...Cristian Cadar
2009-05-22Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.Daniel Dunbar
2009-05-21Missed a couple testsDaniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar