Skip to content

Commit 0f48fc2

Browse files
jmidjmid
committed
QCheck+QCheck2 expect test and distribution test outputs
1 parent 76ade80 commit 0f48fc2

8 files changed

+650
-8
lines changed

‎test/core/QCheck2_expect_test.expected.ocaml4.32‎

Lines changed: 81 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -305,6 +305,36 @@ Test nat < 5001 failed (7 shrink steps):
305305

306306
--- Failure --------------------------------------------------------------------
307307

308+
Test float < Float.pi failed (8 shrink steps):
309+
310+
3.1417501936
311+
312+
--- Failure --------------------------------------------------------------------
313+
314+
Test float <= 1.0 failed (7 shrink steps):
315+
316+
1.00000414705
317+
318+
--- Failure --------------------------------------------------------------------
319+
320+
Test float < 1.0 failed (7 shrink steps):
321+
322+
1.00000414705
323+
324+
--- Failure --------------------------------------------------------------------
325+
326+
Test float <= 1e-10 failed (28 shrink steps):
327+
328+
1.00000568919e-10
329+
330+
--- Failure --------------------------------------------------------------------
331+
332+
Test float >= -1e-10 failed (50 shrink steps):
333+
334+
-1.00000073468e-10
335+
336+
--- Failure --------------------------------------------------------------------
337+
308338
Test char never produces 'abcdef' failed (1 shrink steps):
309339

310340
'a'
@@ -1686,9 +1716,59 @@ stats dist:
16861716
-4.. 0: ####################################################### 1934
16871717
1.. 5: 0
16881718
6.. 10: 0
1719+
1720+
+++ Stats for float exponent ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1721+
1722+
stats exponent:
1723+
num: 5000, avg: 0.27, stddev: 12.48, median 0, min -21, max 22
1724+
-21..-19: ############################################## 313
1725+
-18..-16: ##################################################### 367
1726+
-15..-13: ################################################ 327
1727+
-12..-10: #################################################### 360
1728+
-9.. -7: ################################################## 343
1729+
-6.. -4: ####################################################### 374
1730+
-3.. -1: #################################################### 357
1731+
0.. 2: ################################################## 345
1732+
3.. 5: ################################################ 330
1733+
6.. 8: ##################################################### 367
1734+
9.. 11: ############################################## 316
1735+
12.. 14: ################################################## 341
1736+
15.. 17: ################################################# 335
1737+
18.. 20: ############################################## 315
1738+
21.. 23: ############################## 210
1739+
24.. 26: 0
1740+
27.. 29: 0
1741+
30.. 32: 0
1742+
33.. 35: 0
1743+
36.. 38: 0
1744+
1745+
+++ Stats for float significant ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1746+
1747+
stats significant:
1748+
num: 5000, avg: 6924.67, stddev: 738475.89, median 504686, min -999542, max 999912
1749+
-999542..-899570: #################################### 423
1750+
-899569..-799597: #################################### 430
1751+
-799596..-699624: ###################################### 454
1752+
-699623..-599651: ############################################# 526
1753+
-599650..-499678: ###################################################### 634
1754+
-499677..-399705: 0
1755+
-399704..-299732: 0
1756+
-299731..-199759: 0
1757+
-199758.. -99786: 0
1758+
-99785.. 187: 0
1759+
188.. 100160: 0
1760+
100161.. 200133: 0
1761+
200134.. 300106: 0
1762+
300107.. 400079: 0
1763+
400080.. 500052: 0
1764+
500053.. 600025: ####################################################### 641
1765+
600026.. 699998: ################################################### 596
1766+
699999.. 799971: ########################################### 505
1767+
799972.. 899944: ################################## 398
1768+
899945.. 999917: ################################# 393
16891769
================================================================================
16901770
1 warning(s)
1691-
failure (76 tests failed, 3 tests errored, ran 168 tests)
1771+
failure (81 tests failed, 3 tests errored, ran 177 tests)
16921772
random seed: 153870556
16931773

16941774
+++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

‎test/core/QCheck2_expect_test.expected.ocaml4.64‎

Lines changed: 81 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -367,6 +367,36 @@ Test nat < 5001 failed (7 shrink steps):
367367

368368
--- Failure --------------------------------------------------------------------
369369

370+
Test float < Float.pi failed (8 shrink steps):
371+
372+
3.1417501936
373+
374+
--- Failure --------------------------------------------------------------------
375+
376+
Test float <= 1.0 failed (7 shrink steps):
377+
378+
1.00000414705
379+
380+
--- Failure --------------------------------------------------------------------
381+
382+
Test float < 1.0 failed (7 shrink steps):
383+
384+
1.00000414705
385+
386+
--- Failure --------------------------------------------------------------------
387+
388+
Test float <= 1e-10 failed (28 shrink steps):
389+
390+
1.00000568919e-10
391+
392+
--- Failure --------------------------------------------------------------------
393+
394+
Test float >= -1e-10 failed (50 shrink steps):
395+
396+
-1.00000073468e-10
397+
398+
--- Failure --------------------------------------------------------------------
399+
370400
Test char never produces 'abcdef' failed (1 shrink steps):
371401

372402
'a'
@@ -1748,9 +1778,59 @@ stats dist:
17481778
-4.. 0: ####################################################### 1934
17491779
1.. 5: 0
17501780
6.. 10: 0
1781+
1782+
+++ Stats for float exponent ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1783+
1784+
stats exponent:
1785+
num: 5000, avg: 0.27, stddev: 12.48, median 0, min -21, max 22
1786+
-21..-19: ############################################## 313
1787+
-18..-16: ##################################################### 367
1788+
-15..-13: ################################################ 327
1789+
-12..-10: #################################################### 360
1790+
-9.. -7: ################################################## 343
1791+
-6.. -4: ####################################################### 374
1792+
-3.. -1: #################################################### 357
1793+
0.. 2: ################################################## 345
1794+
3.. 5: ################################################ 330
1795+
6.. 8: ##################################################### 367
1796+
9.. 11: ############################################## 316
1797+
12.. 14: ################################################## 341
1798+
15.. 17: ################################################# 335
1799+
18.. 20: ############################################## 315
1800+
21.. 23: ############################## 210
1801+
24.. 26: 0
1802+
27.. 29: 0
1803+
30.. 32: 0
1804+
33.. 35: 0
1805+
36.. 38: 0
1806+
1807+
+++ Stats for float significant ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1808+
1809+
stats significant:
1810+
num: 5000, avg: 6924.67, stddev: 738475.89, median 504686, min -999542, max 999912
1811+
-999542..-899570: #################################### 423
1812+
-899569..-799597: #################################### 430
1813+
-799596..-699624: ###################################### 454
1814+
-699623..-599651: ############################################# 526
1815+
-599650..-499678: ###################################################### 634
1816+
-499677..-399705: 0
1817+
-399704..-299732: 0
1818+
-299731..-199759: 0
1819+
-199758.. -99786: 0
1820+
-99785.. 187: 0
1821+
188.. 100160: 0
1822+
100161.. 200133: 0
1823+
200134.. 300106: 0
1824+
300107.. 400079: 0
1825+
400080.. 500052: 0
1826+
500053.. 600025: ####################################################### 641
1827+
600026.. 699998: ################################################### 596
1828+
699999.. 799971: ########################################### 505
1829+
799972.. 899944: ################################## 398
1830+
899945.. 999917: ################################# 393
17511831
================================================================================
17521832
1 warning(s)
1753-
failure (76 tests failed, 3 tests errored, ran 168 tests)
1833+
failure (81 tests failed, 3 tests errored, ran 177 tests)
17541834
random seed: 153870556
17551835

17561836
+++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

‎test/core/QCheck2_expect_test.expected.ocaml5.32‎

Lines changed: 82 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -288,6 +288,36 @@ Test nat < 5001 failed (6 shrink steps):
288288

289289
--- Failure --------------------------------------------------------------------
290290

291+
Test float < Float.pi failed (15 shrink steps):
292+
293+
3.14174858608
294+
295+
--- Failure --------------------------------------------------------------------
296+
297+
Test float <= 1.0 failed (15 shrink steps):
298+
299+
1.00003988373
300+
301+
--- Failure --------------------------------------------------------------------
302+
303+
Test float < 1.0 failed (15 shrink steps):
304+
305+
1.00003988373
306+
307+
--- Failure --------------------------------------------------------------------
308+
309+
Test float <= 1e-10 failed (26 shrink steps):
310+
311+
1.00001425584e-10
312+
313+
--- Failure --------------------------------------------------------------------
314+
315+
Test float >= -1e-10 failed (44 shrink steps):
316+
317+
-1.00001855898e-10
318+
319+
--- Failure --------------------------------------------------------------------
320+
291321
Test char never produces 'abcdef' failed (1 shrink steps):
292322

293323
'a'
@@ -1670,9 +1700,60 @@ stats dist:
16701700
-11.. -8: ######################### 747
16711701
-7.. -4: ##################################### 1109
16721702
-3.. 0: ####################################################### 1631
1703+
1704+
+++ Stats for float exponent ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1705+
1706+
stats exponent:
1707+
num: 5000, avg: 0.50, stddev: 12.44, median 1, min -21, max 22
1708+
-21..-19: ############################################# 310
1709+
-18..-16: ################################################# 336
1710+
-15..-13: ################################################## 340
1711+
-12..-10: ################################################## 346
1712+
-9.. -7: ################################################### 351
1713+
-6.. -4: ################################################### 352
1714+
-3.. -1: #################################################### 354
1715+
0.. 2: ############################################### 323
1716+
3.. 5: ####################################################### 374
1717+
6.. 8: ################################################### 348
1718+
9.. 11: ################################################### 348
1719+
12.. 14: ################################################# 337
1720+
15.. 17: ################################################### 348
1721+
18.. 20: ################################################### 352
1722+
21.. 23: ########################## 181
1723+
24.. 26: 0
1724+
27.. 29: 0
1725+
30.. 32: 0
1726+
33.. 35: 0
1727+
36.. 38: 0
1728+
1729+
+++ Stats for float significant ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1730+
1731+
stats significant:
1732+
num: 5000, avg: 990.61, stddev: 732742.14, median -501137, min -999967, max 999693
1733+
-999967..-899985: ############################# 364
1734+
-899984..-800002: ############################### 391
1735+
-800001..-700019: ###################################### 485
1736+
-700018..-600036: ############################################## 578
1737+
-600035..-500053: ####################################################### 690
1738+
-500052..-400070: 0
1739+
-400069..-300087: 0
1740+
-300086..-200104: 0
1741+
-200103..-100121: 0
1742+
-100120.. -138: 0
1743+
-137.. 99845: 0
1744+
99846.. 199828: 0
1745+
199829.. 299811: 0
1746+
299812.. 399794: 0
1747+
399795.. 499777: 0
1748+
499778.. 599760: #################################################### 653
1749+
599761.. 699743: ########################################## 529
1750+
699744.. 799726: ######################################### 516
1751+
799727.. 899709: ############################### 399
1752+
899710.. 999692: ############################### 394
1753+
999693..1099675: 1
16731754
================================================================================
16741755
1 warning(s)
1675-
failure (76 tests failed, 3 tests errored, ran 168 tests)
1756+
failure (81 tests failed, 3 tests errored, ran 177 tests)
16761757
random seed: 153870556
16771758

16781759
+++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

0 commit comments

Comments
 (0)