I can find default.exp at /usr/local/share/dejagnu/config/default.exp.
*When I run "runtest" under the installed directory, I get the next
information:*
qiu@qiu:~/installed/dejagnu-1.5$ runtest
WARNING: Couldn't find the global config file.
WARNING: No tool specified
Test Run By qiu on Sun Aug 12 19:41:32 2012
Native configuration is x86_64-unknown-linux-gnu
=== tests ===
Schedule of variations:
unix
Running target unix
Using ./testsuite/../config/base-config.exp as tool-and-target-specific
interface file.
Using ./testsuite/config/default.exp as tool-and-target-specific interface
file.
Running ./testsuite/libdejagnu/tunit.exp ...
Running ./testsuite/runtest.all/libs.exp ...
Running ./testsuite/runtest.all/options.exp ...
Running ./testsuite/runtest.all/stats-sub.exp ...
Running ./testsuite/runtest.all/stats.exp ...
=== Summary ===
# of expected passes 66
*when I run "runtest" at klee directory, I got the next information:*
qiu@qiu:~/installed/klee$ runtest
WARNING: Couldn't find the global config file.
WARNING: No tool specified
Test Run By qiu on Sun Aug 12 19:43:47 2012
Native configuration is x86_64-unknown-linux-gnu
=== tests ===
Schedule of variations:
unix
Running target unix
WARNING: Couldn't find tool config file for unix, using default.
ERROR: Couldn't find default tool init file.
I* got two different results for "runtest" under different directories, so
what wrong?*
--------------------------------------------
Qiuping Yi
Institute Of Software
Chinese Academy of Sciences
2012/8/12 Delcypher <[email protected]>
> Sounds like your dejagnu install is broken in some way.
>
> DejaGnu is looking for a file default.exp . On my system it is located at
> /usr/share/dejagnu/config/default.exp . Your install of DejaGnu can't seem
> to find it.
>
> Regards,
> Dan Liew.
>
>
>
>
> On 12 August 2012 04:39, Qiuping Yi <[email protected]> wrote:
>
>> Thank you, but then I got the new error "Couldn't find default tool init
>> file."
>>
>> /usr/bin:/sbin:/bin:/usr/games" \
>> /home/qiu/installed/dejagnu-1.5/runtest ; \
>> ! grep FAIL testrun.log; ! grep -q ^FAIL testrun.log; )
>> WARNING: Couldn't find the global config file.
>> WARNING: No tool specified
>> Test Run By qiu on Sun Aug 12 11:35:33 2012
>> Native configuration is x86_64-unknown-linux-gnu
>>
>> === tests ===
>>
>> Schedule of variations:
>> unix
>>
>> Running target unix
>> WARNING: Couldn't find tool config file for unix, using default.
>> ERROR: Couldn't find default tool init file.
>> make[1]:leaving directory `/home/qiu/installed/klee/test'
>>
>>
>>
>> --------------------------------------------
>> Qiuping Yi
>> Institute Of Software
>> Chinese Academy of Sciences
>>
>>
>> 2012/8/11 Delcypher <[email protected]>
>>
>>> Hi Qiuping,
>>>
>>> KLEE uses DejaGnu ( http://www.gnu.org/software/dejagnu/ ) as it's test
>>> framework. You will need to install it before running the tests. It is
>>> usually available in linux distribution repositories.
>>>
>>> The documentation should probably be updated to reflect this. It might
>>> also useful to explain the difference between "make check" and "make
>>> unittests".
>>>
>>> Regards,
>>> Dan.
>>>
>>> On 10 August 2012 04:07, Qiuping Yi <[email protected]> wrote:
>>>
>>>> Hi,
>>>>
>>>> when I build KLEE following the instructions in "
>>>> http://klee.llvm.org/GetStarted.html";,
>>>> I got the error below at the "make check" step. What should I do?
>>>>
>>>> xx@xx:~/installed/klee$ make check
>>>> llvm[0]: Running test suite
>>>> make[1]: leaving directory `/home/qiu/installed/klee/test'
>>>> *** dejagnu not found. Make sure runtest is in your PATH, then
>>>> reconfigure llvm.
>>>> make[1]: leaving directory `/home/qiu/installed/klee/test'
>>>>
>>>>
>>>>
>>>> --------------------------------------------
>>>> Qiuping Yi
>>>> Institute Of Software
>>>> Chinese Academy of Sciences
>>>>
>>>> _______________________________________________
>>>> klee-dev mailing list
>>>> [email protected]
>>>> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
>>>>
>>>>
>>>
>>
>
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
