Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add unit and expect tests #234

Merged
merged 8 commits into from
Apr 10, 2022
Merged

Add unit and expect tests #234

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
0a670fa
simplify dune logic by renaming files
jmid Sep 7, 2021
8bd62a5
rename test.ml to a more descriptive name
jmid Sep 7, 2021
0ebc6ab
add unit tests for check_exn, rename Test module
jmid Sep 8, 2021
dcc158c
rename Count module, relabel unit tests for clarity
jmid Sep 8, 2021
3d10856
add some QCheck unit tests
jmid Sep 8, 2021
6078743
add tuple and bind tests - pos/neg/stats
jmid Sep 11, 2021
9fe4c7f
add manual tree shrinker and test for QCheck
jmid Sep 11, 2021
697e014
origin of mod 3 test
jmid Sep 11, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
230 changes: 229 additions & 1 deletion test/core/qcheck2_output.txt.expected → test/core/QCheck2_expect_test.expected
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -312,6 +312,108 @@ Test string never has a \255 char failed (59 shrink steps):

--- Failure --------------------------------------------------------------------

Test pairs have different components failed (0 shrink steps):

(4, 4)

--- Failure --------------------------------------------------------------------

Test pairs have same components failed (63 shrink steps):

(0, 1)

--- Failure --------------------------------------------------------------------

Test pairs have a zero component failed (122 shrink steps):

(1, 1)

--- Failure --------------------------------------------------------------------

Test pairs are (0,0) failed (63 shrink steps):

(0, 1)

--- Failure --------------------------------------------------------------------

Test pairs are ordered failed (2 shrink steps):

(0, -1)

--- Failure --------------------------------------------------------------------

Test pairs are ordered reversely failed (63 shrink steps):

(0, 1)

--- Failure --------------------------------------------------------------------

Test pairs sum to less than 128 failed (59 shrink steps):

(0, 128)

--- Failure --------------------------------------------------------------------

Test triples have pair-wise different components failed (3 shrink steps):

(0, 0, 0)

--- Failure --------------------------------------------------------------------

Test triples have same components failed (64 shrink steps):

(0, 1, 0)

--- Failure --------------------------------------------------------------------

Test triples are ordered failed (3 shrink steps):

(0, -1, 0)

--- Failure --------------------------------------------------------------------

Test triples are ordered reversely failed (64 shrink steps):

(0, 0, 1)

--- Failure --------------------------------------------------------------------

Test quadruples have pair-wise different components failed (4 shrink steps):

(0, 0, 0, 0)

--- Failure --------------------------------------------------------------------

Test quadruples have same components failed (126 shrink steps):

(0, 1, 0, 1)

--- Failure --------------------------------------------------------------------

Test quadruples are ordered failed (5 shrink steps):

(0, 0, -1, 0)

--- Failure --------------------------------------------------------------------

Test quadruples are ordered reversely failed (66 shrink steps):

(0, 0, 0, 1)

--- Failure --------------------------------------------------------------------

Test bind ordered pairs failed (1 shrink steps):

(0, 0)

--- Failure --------------------------------------------------------------------

Test bind list_size constant failed (15 shrink steps):

(4, [0; 0; 0; 0])

--- Failure --------------------------------------------------------------------

Test lists are empty failed (8 shrink steps):

[0]
Expand Down Expand Up @@ -614,6 +716,132 @@ stats len:
90.. 94: # 60
95.. 99: # 62

+++ Stats for pair dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

stats pair sum:
num: 500000, avg: 100.02, stddev: 41.22, median 100, min 0, max 200
0.. 9: ### 2685
10.. 19: ######## 7622
20.. 29: ############## 12474
30.. 39: #################### 17330
40.. 49: ########################## 22263
50.. 59: ############################### 26982
60.. 69: ##################################### 32182
70.. 79: ########################################### 37125
80.. 89: ################################################# 42287
90.. 99: ###################################################### 46691
100..109: ####################################################### 46977
110..119: ################################################# 42444
120..129: ############################################ 37719
130..139: ###################################### 32595
140..149: ################################ 27588
150..159: ########################## 22792
160..169: #################### 17805
170..179: ############### 13068
180..189: ######### 8218
190..199: ### 3115
200..209: 38

+++ Stats for triple dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

stats triple sum:
num: 500000, avg: 150.08, stddev: 50.51, median 150, min 0, max 299
0.. 14: 345
15.. 29: ## 2121
30.. 44: ##### 5372
45.. 59: ########## 10501
60.. 74: ################# 17031
75.. 89: ######################### 25417
90..104: ################################### 35148
105..119: ############################################# 45134
120..134: ################################################### 51751
135..149: ####################################################### 55090
150..164: ###################################################### 55074
165..179: #################################################### 52238
180..194: ############################################# 45651
195..209: ################################### 35994
210..224: ######################### 26039
225..239: ################# 17749
240..254: ########## 10870
255..269: ##### 5765
270..284: ## 2313
285..299: 397

+++ Stats for quad dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

stats quad sum:
num: 500000, avg: 200.13, stddev: 58.33, median 200, min 5, max 394
5.. 24: 102
25.. 44: 842
45.. 64: ## 3023
65.. 84: ###### 7154
85..104: ############ 14368
105..124: ##################### 25397
125..144: ############################### 37547
145..164: ########################################## 50174
165..184: ################################################## 60558
185..204: ####################################################### 65376
205..224: ##################################################### 63687
225..244: ############################################### 56248
245..264: ###################################### 45384
265..284: ########################## 31780
285..304: ################ 20158
305..324: ######### 10899
325..344: #### 5045
345..364: # 1848
365..384: 386
385..404: 24

+++ Stats for bind dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

stats ordered pair difference:
num: 1000000, avg: 25.02, stddev: 22.36, median 19, min 0, max 100
0.. 4: ####################################################### 193184
5.. 9: ##################################### 130024
10.. 14: ############################# 103828
15.. 19: ######################## 87496
20.. 24: ##################### 74431
25.. 29: ################## 64629
30.. 34: ################ 56663
35.. 39: ############# 48986
40.. 44: ############ 43424
45.. 49: ########## 37599
50.. 54: ######### 32787
55.. 59: ######## 28332
60.. 64: ###### 24023
65.. 69: ##### 20312
70.. 74: #### 16649
75.. 79: ### 13338
80.. 84: ## 10239
85.. 89: ## 7391
90.. 94: # 4548
95.. 99: 2015
100..104: 102

stats ordered pair sum:
num: 1000000, avg: 75.12, stddev: 46.93, median 72, min 0, max 200
0.. 9: ####################################################### 70423
10.. 19: ##################################################### 68068
20.. 29: ##################################################### 68449
30.. 39: ##################################################### 68577
40.. 49: ##################################################### 68763
50.. 59: ##################################################### 68351
60.. 69: ##################################################### 68744
70.. 79: ##################################################### 68451
80.. 89: ##################################################### 68309
90.. 99: ##################################################### 68835
100..109: ################################################## 64544
110..119: ########################################### 55512
120..129: ##################################### 47595
130..139: ############################### 39809
140..149: ######################### 32677
150..159: #################### 26312
160..169: ############### 20180
170..179: ########### 14265
180..189: ###### 8625
190..199: ## 3433
200..209: 78

+++ Stats for list len dist ++++++++++++++++++++++++++++++++++++++++++++++++++++++++

stats len:
Expand Down Expand Up @@ -988,7 +1216,7 @@ stats dist:
4150517416584649600.. 4611686018427387903: ################# 189
================================================================================
1 warning(s)
failure (36 tests failed, 1 tests errored, ran 84 tests)
failure (53 tests failed, 1 tests errored, ran 110 tests)
random seed: 153870556

+++ Stats for int_dist_empty_bucket ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Expand Down
Loading