Missing validation tests

[GoogleCodeExporter]

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.

Original issue reported on code.google.com by pde@n-side.com on 19 Nov 2014 at 7:46

[GoogleCodeExporter]

Original comment by pde@n-side.com on 17 Jul 2015 at 1:02

• Added labels: Type-Enhancement
• Removed labels: Type-Defect