Permalink
Browse files

Remove more unnecessary files.

  • Loading branch information...
1 parent 1d47e74 commit 6686e19bb0c01434e05ba91bcc1cb1f3d254a4cf @jamesma committed Nov 6, 2012
Showing 2,707 changed files with 0 additions and 61,366 deletions.
View
View
Oops, something went wrong.
View
@@ -1,18 +0,0 @@
-/home/pgbovine/klee/Release+Asserts/bin/klee -libc=uclibc -posix-runtime test_rb.bc A -sym-files 1 6
-PID: 524
-Started: 2012-11-04 23:34:05
-BEGIN searcher description
-DFSSearcher
-END searcher description
-Finished: 2012-11-04 23:34:20
-Elapsed: 00:00:15
-KLEE: done: explored paths = 250
-KLEE: done: avg. constructs per query = 428
-KLEE: done: total queries = 350
-KLEE: done: valid queries = 2
-KLEE: done: invalid queries = 348
-KLEE: done: query cex = 350
-
-KLEE: done: total instructions = 281897
-KLEE: done: completed paths = 250
-KLEE: done: generated tests = 246
@@ -1,6 +0,0 @@
-KLEE: WARNING: undefined reference to function: klee_get_valuel
-KLEE: WARNING: executable has module level assembly (ignoring)
-KLEE: WARNING: calling external: syscall(54, 0, 21505, 28099440)
-KLEE: WARNING: calling __user_main with extra arguments.
-KLEE: WARNING: ioctl: (TCGETS) symbolic file, incomplete model
-KLEE: WARNING: calling external: printf(27466392)
Oops, something went wrong.

0 comments on commit 6686e19

Please sign in to comment.