Age | Commit message (Collapse) | Author | |
---|---|---|---|
2014-09-15 | common_test: Add p-tag to warning-tag | Hans Nilsson | |
2014-09-09 | common_test: ct_property_test call correct Triq function. | Hans Nilsson | |
2014-09-09 | ct_property_test: add Triq support | Tuncer Ayaz | |
Also, ensure that the right module's counterexample/0 is called. | |||
2014-09-02 | common_test: Add experimental module ct_property_test | Hans Nilsson | |
This module may change without warning... |