Dear All, I am playing with the software-testing benchmarks and I could get the suggested example printf.bc running successfully. However, when I ran the rest of the examples under the targets/src, I got an interrupted message and could not finish the execution. Take the following sleep.bc for example:
hailong@NinjaBox:~/software_testing/cloud9/Release+Asserts/bin$ ./c9-worker --stand-alone --posix-runtime --libc=uclibc -coverable-modules=../../infra/coverable/coreutils.coverable ../../targets/src/sleep.bc [-946684799.-99Worker< >: Info: No max time specified; running without watchdog [-946684799.-97Worker< >: Debug: Using Klee path /home/hailong/software_testing/cloud9 [-946684799.-97Worker< >: Debug: Using uClibc path /home/hailong/software_testing/klee-c9-uclibc [-946684799.-84Worker< >: Debug: Using uClibc path /home/hailong/software_testing/klee-c9-uclibc [-946684799.-84Worker< >: Debug: Using Klee path /home/hailong/software_testing/cloud9 KLEE: NOTE: Using model: /home/hailong/software_testing/cloud9/Release+Asserts/lib/libkleeRuntimePOSIX.bca [-946684799.-69Worker< >: Debug: Using Klee path /home/hailong/software_testing/cloud9 KLEE: output directory = "klee-out-16" [-946684799.-69Worker< >: Info: Instrumentation started KLEE: WARNING: undefined reference to function: __ctype_b_loc KLEE: WARNING: undefined reference to function: __libc_fcntl KLEE: WARNING: undefined reference to function: __signbitl KLEE: WARNING: undefined reference to function: freelocale KLEE: WARNING: undefined reference to function: newlocale KLEE: WARNING: undefined reference to function: strncpy KLEE: WARNING: undefined reference to function: strtod_l KLEE: WARNING: undefined reference to function: strtol KLEE: WARNING: undefined reference to function: kill (UNSAFE)! [-946684799.-20Worker< >: Info: Using the regular strategy stack KLEE: WARNING: executable has module level assembly (ignoring) [-946684799.-20Worker< >: Info: Running in stand-alone mode. No load balancer involved. [-946684799.-20Worker< >: Debug: Importing 1 jobs [-946684799.-20Worker< >: Info: Foreign job with no replay needed. Probably state was obtained through other neighbor replays. KLEE: WARNING: calling external: stat(140412681489856, 140412681508928) KLEE: WARNING: calling external: syscall(5, 1, 140412681512320) KLEE: WARNING: _ioctl_file: operation not supported on symbolic files KLEE: WARNING: calling __user_main131 with extra arguments. KLEE: WARNING: calling __user_main with extra arguments. missing operand Try `../../targets/src/sleep.bc --help' for more information. KLEE: WARNING: calling close_stdout with extra arguments. [-946684798.-67Worker< >: Debug: Code coverage is 52/176 (local) and 52/176 (global)... [-946684798.-64Worker< >: Info: Finalized job execution. [-946684797.-99Worker< >: Info: Instrumentation interrupted. Stopping. And ideas? Hailong
