search

DonggeLiu / Legion

A coverage-based software testing tool
MIT License
29 stars 4 forks source link

ParaDySE Benchmarking #10

Open DonggeLiu opened 5 years ago

DonggeLiu commented 5 years ago

We have been using the benchmark programs in ParaDySE (e.g. replace.c) for a while to test if Legion works, maybe also use them for benchmarking?

DonggeLiu commented 5 years ago

It seems that the small benchmarks work well with Legion so far (in short period experiments).

DonggeLiu commented 4 years ago

The large benchmarks might not work directly:

  1. tree has multiple source files
  2. vim has multiple source files
  3. grep has multiple source files
  4. gawk has mutiple source files
  5. expat: not sure how to compile, via make?
  6. sed:

    ctangle /home/donggel/Benchmarks/ParaDySE-legion/sed-1.17/sed.w - /home/donggel/Benchmarks/ParaDySE-legion/sed-1.17/sed.c make: ctangle: Command not found

    : recipe for target '/home/donggel/Benchmarks/ParaDySE-legion/sed-1.17/sed.c' failed make: *** [/home/donggel/Benchmarks/ParaDySE-legion/sed-1.17/sed.c] Error 127