We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Describe your feature request. Currently ILAtor(IlaSim) is only tested for generation. Better have test for the functional and syntactic correctness.
IlaSim
Describe the solution you'd like At least have scripts in CI to make sure it builds. Better to run simulation and check correctness.
Additional context Legacy reference-based tests should be retired. https://github.com/Bo-Yuan-Huang/ILAng/blob/9f1855395b159e5dc00b50ca49b49c0cd98615d8/test/t_ila_sim.cc#L33
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Describe your feature request.
Currently ILAtor(
IlaSim
) is only tested for generation. Better have test for the functional and syntactic correctness.Describe the solution you'd like
At least have scripts in CI to make sure it builds. Better to run simulation and check correctness.
Additional context
Legacy reference-based tests should be retired.
https://github.com/Bo-Yuan-Huang/ILAng/blob/9f1855395b159e5dc00b50ca49b49c0cd98615d8/test/t_ila_sim.cc#L33
The text was updated successfully, but these errors were encountered: