Issue #6 open
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.
email@example.com on 2014-11-19 07:46:09