-
Notifications
You must be signed in to change notification settings - Fork 75
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add tests for chapter 7 #49
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I see that besides the tests you included a test generator with a template - does it generate additional tests, or are these the same ones that you included directly?
Could this test generator be based on #43 ? Or could you take a look at #43 to see if you would do anything differently? I think we need some kind of a convention for the test generators (and a makefile target).
All tests are generated from Generator can be adapted to fit #43 and |
230ee5b
to
32e8301
Compare
Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>
Pushed whole chapter-7 test suite. |
@hzeller the tests here implement the features that could be used for testing simulation. I think there is no point delaying this PR as these tests will still work just fine for syntax checking, so should be included in the report as soon as possible. We still have to decide if we want to go this way (and adjust the runners to eval the |
Add tests for chapter 7. It has missing tests for subsections 7.10.3 and 7.10.5.