Add loose programs to test suite

margnus1 / swsc

This tool has now merged with nidhugg/nidhugg and will no longer be developed here

GNU General Public License v3.0

0 stars 1 forks source link

Add loose programs to test suite #3

Open margnus1 opened 6 years ago

PhongNgo commented 6 years ago

Added small-but-challenging benchmarks 466e653af06b4ba13a8c876a0eaee7e2379f55ff

PhongNgo commented 6 years ago

Added litmus benchmarks f65f86552b31a6502c36dae7875cf3c5884d1ebd

PhongNgo commented 6 years ago

make litmus for litmus tests make mustpass for small-but-challenging tests

PhongNgo commented 6 years ago

I have regenerated C litmus benchmarks because of the request from Kotis. Now they use C++ SC atomic accesses. I have tested with Nidhugg and SWSC. I have also (partly) tested with RCMC. See e218a06dc765d71fe354bd9fc34d8f495bfdb038