Hi all,
I generared test cases for target test code. I can view each test case with
ktest-tool,replay is ok too.
Then I modified target test code and deleted one or more symbols and
corresponding stmt,then replay the test case, error is reported.
The error showed symbol in ktest can't be
Nowack, Martin wrote:
>> Hi,
>> There are a couple of missing features.
>> Can you open an issue https://github.com/klee/klee/issues ? we can continue
>> the discussion there.
>> Best,
>> Martin
>>>> On 15. Dec 2020, at 13:41, JingXiaoni >>> <mailto:jin
Hi all,
l have some problems
on using klee,need your help .Thanks in advance
My test target is 32bit app.Now I compile llvm and klee in x86_64, then add
-m32 option on compile target object.
For example:
for bc file
clang++ -m32 sample.cpp -c -o sample.bc
for app
clang++ -m32 sample.cpp -o
