Missing validation tests

[Former user]

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 [e-mail] on 2014-11-19 07:46:09

[Former user]

Reported by [e-mail] on 2015-07-17 13:02:56 - Labels added: Type-Enhancement - Labels removed: Type-Defect

[Paul Moore]

I've just created a PR with some basic tests in.

[Pierre Denis]

Contributions of Paul Moore, using tox tools:

→ <<cset 3ff7596>>

→ <<cset b051cc1>>

→ <<cset 188e18b>>

→ <<cset 3e6c646>>

→ <<cset 9a8c5c5>>

→ <<cset 3bfb79d>>

[Pierre Denis]

Added tests for Lea.boolProb 's argument extension (refs #6, #35)

→ <<cset abe621bc96da>>

[Pierre Denis]

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

[Pierre Denis]

Added tests for Lea.boolProb 's argument extension (refs #6, #35)

→ <<cset 9130860bd4d5>>