Report inconsistent specifications - Githubissues

albertogoffi / toradocu

Toradocu - automated generation of test oracles from Javadoc documentation

Other

42 stars 21 forks source link

Report inconsistent specifications #216

Open albertogoffi opened 6 years ago

albertogoffi commented 6 years ago

Once Toradocu derived constructor/method specifications, Toradocu should report:

[ ] Conflicts: two specs cannot have the same guard.
[ ] Multiple outcomes: two specs cannot have guards that can be both true at runtime.
[ ] Ill-defined: a spec that can have two possible interpretations.

It would be nice to have a nicely formatted output in which there is the number of suspicious specification in each category.