Originally reported on Google Code with ID 6
It would be good to include a test suite, to validate the different functions of Lea.
A lot of consistency checks can be made internally, between results of functions themselves:
verify basic arithmetics, logical operators,.... Examples: 2*die == die+die, (die==1)
| (die>1). For more advanced tests, different examples with expected results could
be found in the literature.
This would allow for better confidence in the tool from the users, as well as non-regression
tests for maintenance.
Reported by pde@n-side.com on 2014-11-19 07:46:09
Reported by
pde@n-side.comon 2015-07-17 13:02:56 - Labels added: Type-Enhancement - Labels removed: Type-Defect