Closed fabianschuiki closed 4 years ago
Add the test cases that are part of the LLHD paper artifact. Some recent compiler changes have broken some of those, so it would be good to have some tighter test loop. Also, these are pretty useful to establish SV-to-Trace tests.
Add the test cases that are part of the LLHD paper artifact. Some recent compiler changes have broken some of those, so it would be good to have some tighter test loop. Also, these are pretty useful to establish SV-to-Trace tests.