Skip to content

Commit 0eb5948

Browse files
jmidjmid
authored
Merge pull request #234 from jmid/add-unit-and-expect-tests
Add unit and expect tests
2 parents 224d369 + 697e014 commit 0eb5948

File tree

7 files changed

+942
-58
lines changed

7 files changed

+942
-58
lines changed

test/core/qcheck2_output.txt.expected renamed to test/core/QCheck2_expect_test.expected

Lines changed: 229 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -312,6 +312,108 @@ Test string never has a \255 char failed (59 shrink steps):
312312

313313
--- Failure --------------------------------------------------------------------
314314

315+
Test pairs have different components failed (0 shrink steps):
316+
317+
(4, 4)
318+
319+
--- Failure --------------------------------------------------------------------
320+
321+
Test pairs have same components failed (63 shrink steps):
322+
323+
(0, 1)
324+
325+
--- Failure --------------------------------------------------------------------
326+
327+
Test pairs have a zero component failed (122 shrink steps):
328+
329+
(1, 1)
330+
331+
--- Failure --------------------------------------------------------------------
332+
333+
Test pairs are (0,0) failed (63 shrink steps):
334+
335+
(0, 1)
336+
337+
--- Failure --------------------------------------------------------------------
338+
339+
Test pairs are ordered failed (2 shrink steps):
340+
341+
(0, -1)
342+
343+
--- Failure --------------------------------------------------------------------
344+
345+
Test pairs are ordered reversely failed (63 shrink steps):
346+
347+
(0, 1)
348+
349+
--- Failure --------------------------------------------------------------------
350+
351+
Test pairs sum to less than 128 failed (59 shrink steps):
352+
353+
(0, 128)
354+
355+
--- Failure --------------------------------------------------------------------
356+
357+
Test triples have pair-wise different components failed (3 shrink steps):
358+
359+
(0, 0, 0)
360+
361+
--- Failure --------------------------------------------------------------------
362+
363+
Test triples have same components failed (64 shrink steps):
364+
365+
(0, 1, 0)
366+
367+
--- Failure --------------------------------------------------------------------
368+
369+
Test triples are ordered failed (3 shrink steps):
370+
371+
(0, -1, 0)
372+
373+
--- Failure --------------------------------------------------------------------
374+
375+
Test triples are ordered reversely failed (64 shrink steps):
376+
377+
(0, 0, 1)
378+
379+
--- Failure --------------------------------------------------------------------
380+
381+
Test quadruples have pair-wise different components failed (4 shrink steps):
382+
383+
(0, 0, 0, 0)
384+
385+
--- Failure --------------------------------------------------------------------
386+
387+
Test quadruples have same components failed (126 shrink steps):
388+
389+
(0, 1, 0, 1)
390+
391+
--- Failure --------------------------------------------------------------------
392+
393+
Test quadruples are ordered failed (5 shrink steps):
394+
395+
(0, 0, -1, 0)
396+
397+
--- Failure --------------------------------------------------------------------
398+
399+
Test quadruples are ordered reversely failed (66 shrink steps):
400+
401+
(0, 0, 0, 1)
402+
403+
--- Failure --------------------------------------------------------------------
404+
405+
Test bind ordered pairs failed (1 shrink steps):
406+
407+
(0, 0)
408+
409+
--- Failure --------------------------------------------------------------------
410+
411+
Test bind list_size constant failed (15 shrink steps):
412+
413+
(4, [0; 0; 0; 0])
414+
415+
--- Failure --------------------------------------------------------------------
416+
315417
Test lists are empty failed (8 shrink steps):
316418

317419
[0]
@@ -614,6 +716,132 @@ stats len:
614716
90.. 94: # 60
615717
95.. 99: # 62
616718

719+
+++ Stats for pair dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
720+
721+
stats pair sum:
722+
num: 500000, avg: 100.02, stddev: 41.22, median 100, min 0, max 200
723+
0.. 9: ### 2685
724+
10.. 19: ######## 7622
725+
20.. 29: ############## 12474
726+
30.. 39: #################### 17330
727+
40.. 49: ########################## 22263
728+
50.. 59: ############################### 26982
729+
60.. 69: ##################################### 32182
730+
70.. 79: ########################################### 37125
731+
80.. 89: ################################################# 42287
732+
90.. 99: ###################################################### 46691
733+
100..109: ####################################################### 46977
734+
110..119: ################################################# 42444
735+
120..129: ############################################ 37719
736+
130..139: ###################################### 32595
737+
140..149: ################################ 27588
738+
150..159: ########################## 22792
739+
160..169: #################### 17805
740+
170..179: ############### 13068
741+
180..189: ######### 8218
742+
190..199: ### 3115
743+
200..209: 38
744+
745+
+++ Stats for triple dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
746+
747+
stats triple sum:
748+
num: 500000, avg: 150.08, stddev: 50.51, median 150, min 0, max 299
749+
0.. 14: 345
750+
15.. 29: ## 2121
751+
30.. 44: ##### 5372
752+
45.. 59: ########## 10501
753+
60.. 74: ################# 17031
754+
75.. 89: ######################### 25417
755+
90..104: ################################### 35148
756+
105..119: ############################################# 45134
757+
120..134: ################################################### 51751
758+
135..149: ####################################################### 55090
759+
150..164: ###################################################### 55074
760+
165..179: #################################################### 52238
761+
180..194: ############################################# 45651
762+
195..209: ################################### 35994
763+
210..224: ######################### 26039
764+
225..239: ################# 17749
765+
240..254: ########## 10870
766+
255..269: ##### 5765
767+
270..284: ## 2313
768+
285..299: 397
769+
770+
+++ Stats for quad dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
771+
772+
stats quad sum:
773+
num: 500000, avg: 200.13, stddev: 58.33, median 200, min 5, max 394
774+
5.. 24: 102
775+
25.. 44: 842
776+
45.. 64: ## 3023
777+
65.. 84: ###### 7154
778+
85..104: ############ 14368
779+
105..124: ##################### 25397
780+
125..144: ############################### 37547
781+
145..164: ########################################## 50174
782+
165..184: ################################################## 60558
783+
185..204: ####################################################### 65376
784+
205..224: ##################################################### 63687
785+
225..244: ############################################### 56248
786+
245..264: ###################################### 45384
787+
265..284: ########################## 31780
788+
285..304: ################ 20158
789+
305..324: ######### 10899
790+
325..344: #### 5045
791+
345..364: # 1848
792+
365..384: 386
793+
385..404: 24
794+
795+
+++ Stats for bind dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
796+
797+
stats ordered pair difference:
798+
num: 1000000, avg: 25.02, stddev: 22.36, median 19, min 0, max 100
799+
0.. 4: ####################################################### 193184
800+
5.. 9: ##################################### 130024
801+
10.. 14: ############################# 103828
802+
15.. 19: ######################## 87496
803+
20.. 24: ##################### 74431
804+
25.. 29: ################## 64629
805+
30.. 34: ################ 56663
806+
35.. 39: ############# 48986
807+
40.. 44: ############ 43424
808+
45.. 49: ########## 37599
809+
50.. 54: ######### 32787
810+
55.. 59: ######## 28332
811+
60.. 64: ###### 24023
812+
65.. 69: ##### 20312
813+
70.. 74: #### 16649
814+
75.. 79: ### 13338
815+
80.. 84: ## 10239
816+
85.. 89: ## 7391
817+
90.. 94: # 4548
818+
95.. 99: 2015
819+
100..104: 102
820+
821+
stats ordered pair sum:
822+
num: 1000000, avg: 75.12, stddev: 46.93, median 72, min 0, max 200
823+
0.. 9: ####################################################### 70423
824+
10.. 19: ##################################################### 68068
825+
20.. 29: ##################################################### 68449
826+
30.. 39: ##################################################### 68577
827+
40.. 49: ##################################################### 68763
828+
50.. 59: ##################################################### 68351
829+
60.. 69: ##################################################### 68744
830+
70.. 79: ##################################################### 68451
831+
80.. 89: ##################################################### 68309
832+
90.. 99: ##################################################### 68835
833+
100..109: ################################################## 64544
834+
110..119: ########################################### 55512
835+
120..129: ##################################### 47595
836+
130..139: ############################### 39809
837+
140..149: ######################### 32677
838+
150..159: #################### 26312
839+
160..169: ############### 20180
840+
170..179: ########### 14265
841+
180..189: ###### 8625
842+
190..199: ## 3433
843+
200..209: 78
844+
617845
+++ Stats for list len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
618846

619847
stats len:
@@ -988,7 +1216,7 @@ stats dist:
9881216
4150517416584649600.. 4611686018427387903: ################# 189
9891217
================================================================================
9901218
1 warning(s)
991-
failure (36 tests failed, 1 tests errored, ran 84 tests)
1219+
failure (53 tests failed, 1 tests errored, ran 110 tests)
9921220
random seed: 153870556
9931221

9941222
+++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

0 commit comments

Comments
 (0)