diff options
| author | Tuncer Ayaz <[email protected]> | 2014-09-03 14:53:59 +0200 |
|---|---|---|
| committer | Hans Nilsson <[email protected]> | 2014-09-09 10:26:21 +0200 |
| commit | d1af165af799134f791886ea788311cbf68b788d (patch) | |
| tree | 2c29854c038dc5bdb3c10570380eadd505cc2a0c /Makefile.in | |
| parent | 6e2fd45bad619fd7e06f21798eac94d415dff64e (diff) | |
| download | otp-d1af165af799134f791886ea788311cbf68b788d.tar.gz otp-d1af165af799134f791886ea788311cbf68b788d.tar.bz2 otp-d1af165af799134f791886ea788311cbf68b788d.zip | |
ct_property_test: add Triq support
Also, ensure that the right module's counterexample/0 is called.
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions