Hello. I've tried to use Maple to test some C/C++ programs and successfully run the small examples (shared_counter etc.). To test benchmark programs referred in the paper, by scanning benchmark/pbzip.py, benchmark/aget.py etc. I knew I need to download the benchmark programs. I succeeded testing pbzip by giving it some files to compress, and succeeded testing memcached because it needs no input file.
However, there is no bug found by Maple except some long time suspend obviously caused by deadlock. Does this mean that I need to add assertions manually into the source code of target C/C++ programs?
Hello. I've tried to use Maple to test some C/C++ programs and successfully run the small examples (
shared_counteretc.). To test benchmark programs referred in the paper, by scanningbenchmark/pbzip.py,benchmark/aget.pyetc. I knew I need to download the benchmark programs. I succeeded testingpbzipby giving it some files to compress, and succeeded testingmemcachedbecause it needs no input file.However, there is no bug found by Maple except some long time suspend obviously caused by deadlock. Does this mean that I need to add assertions manually into the source code of target C/C++ programs?