Open Bo-Yuan-Huang opened 4 years ago
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
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