Missing validation tests

Issue #6 open
Former user created an issue

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

Comments (6)

  1. Former user Account Deleted

    Reported by pde@n-side.com on 2015-07-17 13:02:56
    - Labels added: Type-Enhancement
    - Labels removed: Type-Defect

  2. Pierre Denis repo owner

    This ticket remains open because more tests should still be added. At time of writing, the statement coverage is 61%.

  3. Log in to comment