LaconicNetwork/cosmos-sdk
7
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 2 Wiki Activity

build(deps): Bump pgregory.net/rapid from 0.5.7 to 0.6.0 (#16332)

Browse Source 
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: github-actions <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: Julien Robert <julien@rbrt.fr>
This commit is contained in:
dependabot[bot]
2023-05-30 13:12:39 +00:00
committed by GitHub
co-authored by github-actions Julien Robert
parent 28178f7ca6
commit 6b37d8630e
36 changed files with 220 additions and 242 deletions
Download Patch File Download Diff File Expand all files Collapse all files
client/v2/go.mod
+1 -1
View File
@@ -123,7 +123,7 @@ require (
gopkg.in/ini.v1 v1.67.0 // indirect
gopkg.in/yaml.v2 v2.4.0 // indirect
gopkg.in/yaml.v3 v3.0.1 // indirect
pgregory.net/rapid v0.5.7 // indirect
pgregory.net/rapid v0.6.0 // indirect
)
// TODO: remove after 0.7.0 release
client/v2/go.sum
+2 -2
View File
@@ -1020,8 +1020,8 @@ honnef.co/go/tools v0.0.1-2019.2.3/go.mod h1:a3bituU0lyd329TUQxRnasdCoJDkEUEAqEt
honnef.co/go/tools v0.0.1-2020.1.3/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9vFzvIQ3k=
honnef.co/go/tools v0.0.1-2020.1.4/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9vFzvIQ3k=
nhooyr.io/websocket v1.8.6 h1:s+C3xAMLwGmlI31Nyn/eAehUlZPwfYZu2JXM621Q5/k=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
rsc.io/binaryregexp v0.2.0/go.mod h1:qTv7/COck+e2FymRvadv62gMdZztPaShugOCi3I+8D8=
rsc.io/quote/v3 v3.1.0/go.mod h1:yEA65RcK8LyAZtP9Kv3t0HmxON59tX3rD+tICJqUlj0=
rsc.io/sampler v1.3.0/go.mod h1:T1hPZKmBbMNahiBKFy5HrXp6adAjACjK9JXDnKaTXpA=
collections/go.mod
+1 -1
View File
@@ -6,7 +6,7 @@ require (
cosmossdk.io/core v0.7.0
github.com/cosmos/cosmos-db v1.0.0
github.com/stretchr/testify v1.8.3
pgregory.net/rapid v0.5.7
pgregory.net/rapid v0.6.0
)
require (
collections/go.sum
+2 -2
View File
@@ -449,5 +449,5 @@ gopkg.in/yaml.v3 v3.0.1/go.mod h1:K4uyk7z7BCEPqu6E+C64Yfv1cQ7kz7rIZviUmN+EgEM=
gotest.tools/v3 v3.4.0 h1:ZazjZUfuVeZGLAmlKKuyv3IKP5orXcwtOwDQH6YVr6o=
honnef.co/go/tools v0.0.0-20190102054323-c2f93a96b099/go.mod h1:rf3lG4BRIbNafJWhAfAdb/ePZxsR/4RtNHQocxwk9r4=
honnef.co/go/tools v0.0.0-20190523083050-ea95bdfd59fc/go.mod h1:rf3lG4BRIbNafJWhAfAdb/ePZxsR/4RtNHQocxwk9r4=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
depinject/go.mod
+1 -1
View File
@@ -31,5 +31,5 @@ require (
golang.org/x/sys v0.5.0 // indirect
gopkg.in/check.v1 v1.0.0-20201130134442-10cb98267c6c // indirect
gopkg.in/yaml.v3 v3.0.1 // indirect
pgregory.net/rapid v0.5.7 // indirect
pgregory.net/rapid v0.6.0 // indirect
)
depinject/go.sum
+2 -2
View File
@@ -361,5 +361,5 @@ gotest.tools/v3 v3.4.0 h1:ZazjZUfuVeZGLAmlKKuyv3IKP5orXcwtOwDQH6YVr6o=
gotest.tools/v3 v3.4.0/go.mod h1:CtbdzLSsqVhDgMtKsx03ird5YTGB3ar27v0u/yKBW5g=
honnef.co/go/tools v0.0.0-20190102054323-c2f93a96b099/go.mod h1:rf3lG4BRIbNafJWhAfAdb/ePZxsR/4RtNHQocxwk9r4=
honnef.co/go/tools v0.0.0-20190523083050-ea95bdfd59fc/go.mod h1:rf3lG4BRIbNafJWhAfAdb/ePZxsR/4RtNHQocxwk9r4=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
go.mod
+1 -1
View File
@@ -61,7 +61,7 @@ require (
google.golang.org/grpc v1.55.0
google.golang.org/protobuf v1.30.0
gotest.tools/v3 v3.4.0
pgregory.net/rapid v0.5.7
pgregory.net/rapid v0.6.0
sigs.k8s.io/yaml v1.3.0
)
go.sum
+2 -2
View File
@@ -1361,8 +1361,8 @@ honnef.co/go/tools v0.0.1-2020.1.3/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9
honnef.co/go/tools v0.0.1-2020.1.4/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9vFzvIQ3k=
nhooyr.io/websocket v1.8.6 h1:s+C3xAMLwGmlI31Nyn/eAehUlZPwfYZu2JXM621Q5/k=
nhooyr.io/websocket v1.8.6/go.mod h1:B70DZP8IakI65RVQ51MsWP/8jndNma26DVA/nFSCgW0=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
rsc.io/binaryregexp v0.2.0/go.mod h1:qTv7/COck+e2FymRvadv62gMdZztPaShugOCi3I+8D8=
rsc.io/pdf v0.1.1/go.mod h1:n8OzWcQ6Sp37PL01nO98y4iUCRdTGarVfzxY20ICaU4=
rsc.io/quote/v3 v3.1.0/go.mod h1:yEA65RcK8LyAZtP9Kv3t0HmxON59tX3rD+tICJqUlj0=
orm/go.mod
+1 -1
View File
@@ -18,7 +18,7 @@ require (
google.golang.org/grpc v1.55.0
google.golang.org/protobuf v1.30.0
gotest.tools/v3 v3.4.0
pgregory.net/rapid v0.5.7
pgregory.net/rapid v0.6.0
)
require (
orm/go.sum
+2 -2
View File
@@ -475,7 +475,7 @@ gotest.tools/v3 v3.4.0 h1:ZazjZUfuVeZGLAmlKKuyv3IKP5orXcwtOwDQH6YVr6o=
gotest.tools/v3 v3.4.0/go.mod h1:CtbdzLSsqVhDgMtKsx03ird5YTGB3ar27v0u/yKBW5g=
honnef.co/go/tools v0.0.0-20190102054323-c2f93a96b099/go.mod h1:rf3lG4BRIbNafJWhAfAdb/ePZxsR/4RtNHQocxwk9r4=
honnef.co/go/tools v0.0.0-20190523083050-ea95bdfd59fc/go.mod h1:rf3lG4BRIbNafJWhAfAdb/ePZxsR/4RtNHQocxwk9r4=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
sigs.k8s.io/yaml v1.3.0 h1:a2VclLzOGrwOHDiV8EfBGhvjHvP46CtW5j6POvhYGGo=
sigs.k8s.io/yaml v1.3.0/go.mod h1:GeOyir5tyXNByN85N/dRIT9es5UQNerPYEKK56eTBm8=
simapp/go.mod
+1 -1
View File
@@ -185,7 +185,7 @@ require (
gopkg.in/yaml.v3 v3.0.1 // indirect
gotest.tools/v3 v3.4.0 // indirect
nhooyr.io/websocket v1.8.6 // indirect
pgregory.net/rapid v0.5.7 // indirect
pgregory.net/rapid v0.6.0 // indirect
sigs.k8s.io/yaml v1.3.0 // indirect
)
simapp/go.sum
+2 -2
View File
@@ -1752,8 +1752,8 @@ honnef.co/go/tools v0.0.1-2020.1.3/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9
honnef.co/go/tools v0.0.1-2020.1.4/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9vFzvIQ3k=
nhooyr.io/websocket v1.8.6 h1:s+C3xAMLwGmlI31Nyn/eAehUlZPwfYZu2JXM621Q5/k=
nhooyr.io/websocket v1.8.6/go.mod h1:B70DZP8IakI65RVQ51MsWP/8jndNma26DVA/nFSCgW0=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
rsc.io/binaryregexp v0.2.0/go.mod h1:qTv7/COck+e2FymRvadv62gMdZztPaShugOCi3I+8D8=
rsc.io/pdf v0.1.1/go.mod h1:n8OzWcQ6Sp37PL01nO98y4iUCRdTGarVfzxY20ICaU4=
rsc.io/quote/v3 v3.1.0/go.mod h1:yEA65RcK8LyAZtP9Kv3t0HmxON59tX3rD+tICJqUlj0=
tests/go.mod
+1 -1
View File
@@ -28,7 +28,7 @@ require (
github.com/stretchr/testify v1.8.3
google.golang.org/protobuf v1.30.0
gotest.tools/v3 v3.4.0
pgregory.net/rapid v0.5.7
pgregory.net/rapid v0.6.0
)
require (
tests/go.sum
+2 -2
View File
@@ -1754,8 +1754,8 @@ honnef.co/go/tools v0.0.1-2020.1.3/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9
honnef.co/go/tools v0.0.1-2020.1.4/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9vFzvIQ3k=
nhooyr.io/websocket v1.8.6 h1:s+C3xAMLwGmlI31Nyn/eAehUlZPwfYZu2JXM621Q5/k=
nhooyr.io/websocket v1.8.6/go.mod h1:B70DZP8IakI65RVQ51MsWP/8jndNma26DVA/nFSCgW0=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
rsc.io/binaryregexp v0.2.0/go.mod h1:qTv7/COck+e2FymRvadv62gMdZztPaShugOCi3I+8D8=
rsc.io/pdf v0.1.1/go.mod h1:n8OzWcQ6Sp37PL01nO98y4iUCRdTGarVfzxY20ICaU4=
rsc.io/quote/v3 v3.1.0/go.mod h1:yEA65RcK8LyAZtP9Kv3t0HmxON59tX3rD+tICJqUlj0=
tools/confix/go.mod
+1 -1
View File
@@ -147,7 +147,7 @@ require (
gopkg.in/yaml.v2 v2.4.0 // indirect
gopkg.in/yaml.v3 v3.0.1 // indirect
nhooyr.io/websocket v1.8.6 // indirect
pgregory.net/rapid v0.5.7 // indirect
pgregory.net/rapid v0.6.0 // indirect
sigs.k8s.io/yaml v1.3.0 // indirect
)
tools/confix/go.sum
+2 -2
View File
@@ -1361,8 +1361,8 @@ honnef.co/go/tools v0.0.1-2020.1.3/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9
honnef.co/go/tools v0.0.1-2020.1.4/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9vFzvIQ3k=
nhooyr.io/websocket v1.8.6 h1:s+C3xAMLwGmlI31Nyn/eAehUlZPwfYZu2JXM621Q5/k=
nhooyr.io/websocket v1.8.6/go.mod h1:B70DZP8IakI65RVQ51MsWP/8jndNma26DVA/nFSCgW0=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
rsc.io/binaryregexp v0.2.0/go.mod h1:qTv7/COck+e2FymRvadv62gMdZztPaShugOCi3I+8D8=
rsc.io/pdf v0.1.1/go.mod h1:n8OzWcQ6Sp37PL01nO98y4iUCRdTGarVfzxY20ICaU4=
rsc.io/quote/v3 v3.1.0/go.mod h1:yEA65RcK8LyAZtP9Kv3t0HmxON59tX3rD+tICJqUlj0=
tools/cosmovisor/go.mod
+1 -1
View File
@@ -157,6 +157,6 @@ require (
gopkg.in/yaml.v3 v3.0.1 // indirect
gotest.tools/v3 v3.4.0 // indirect
nhooyr.io/websocket v1.8.6 // indirect
pgregory.net/rapid v0.5.7 // indirect
pgregory.net/rapid v0.6.0 // indirect
sigs.k8s.io/yaml v1.3.0 // indirect
)
tools/cosmovisor/go.sum
+2 -2
View File
@@ -1706,8 +1706,8 @@ honnef.co/go/tools v0.0.1-2020.1.3/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9
honnef.co/go/tools v0.0.1-2020.1.4/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9vFzvIQ3k=
nhooyr.io/websocket v1.8.6 h1:s+C3xAMLwGmlI31Nyn/eAehUlZPwfYZu2JXM621Q5/k=
nhooyr.io/websocket v1.8.6/go.mod h1:B70DZP8IakI65RVQ51MsWP/8jndNma26DVA/nFSCgW0=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
rsc.io/binaryregexp v0.2.0/go.mod h1:qTv7/COck+e2FymRvadv62gMdZztPaShugOCi3I+8D8=
rsc.io/quote/v3 v3.1.0/go.mod h1:yEA65RcK8LyAZtP9Kv3t0HmxON59tX3rD+tICJqUlj0=
rsc.io/sampler v1.3.0/go.mod h1:T1hPZKmBbMNahiBKFy5HrXp6adAjACjK9JXDnKaTXpA=
tools/hubl/go.mod
+1 -1
View File
@@ -115,6 +115,6 @@ require (
gopkg.in/yaml.v2 v2.4.0 // indirect
gopkg.in/yaml.v3 v3.0.1 // indirect
gotest.tools/v3 v3.4.0 // indirect
pgregory.net/rapid v0.5.7 // indirect
pgregory.net/rapid v0.6.0 // indirect
sigs.k8s.io/yaml v1.3.0 // indirect
)
tools/hubl/go.sum
+2 -2
View File
@@ -1021,8 +1021,8 @@ honnef.co/go/tools v0.0.1-2019.2.3/go.mod h1:a3bituU0lyd329TUQxRnasdCoJDkEUEAqEt
honnef.co/go/tools v0.0.1-2020.1.3/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9vFzvIQ3k=
honnef.co/go/tools v0.0.1-2020.1.4/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9vFzvIQ3k=
nhooyr.io/websocket v1.8.6 h1:s+C3xAMLwGmlI31Nyn/eAehUlZPwfYZu2JXM621Q5/k=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
rsc.io/binaryregexp v0.2.0/go.mod h1:qTv7/COck+e2FymRvadv62gMdZztPaShugOCi3I+8D8=
rsc.io/quote/v3 v3.1.0/go.mod h1:yEA65RcK8LyAZtP9Kv3t0HmxON59tX3rD+tICJqUlj0=
rsc.io/sampler v1.3.0/go.mod h1:T1hPZKmBbMNahiBKFy5HrXp6adAjACjK9JXDnKaTXpA=
tools/rosetta/go.mod
+1 -1
View File
@@ -142,7 +142,7 @@ require (
gopkg.in/yaml.v3 v3.0.1 // indirect
gotest.tools/v3 v3.4.0 // indirect
nhooyr.io/websocket v1.8.6 // indirect
pgregory.net/rapid v0.5.7 // indirect
pgregory.net/rapid v0.6.0 // indirect
sigs.k8s.io/yaml v1.3.0 // indirect
)
tools/rosetta/go.sum
+2 -2
View File
@@ -1304,8 +1304,8 @@ honnef.co/go/tools v0.0.1-2020.1.3/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9
honnef.co/go/tools v0.0.1-2020.1.4/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9vFzvIQ3k=
nhooyr.io/websocket v1.8.6 h1:s+C3xAMLwGmlI31Nyn/eAehUlZPwfYZu2JXM621Q5/k=
nhooyr.io/websocket v1.8.6/go.mod h1:B70DZP8IakI65RVQ51MsWP/8jndNma26DVA/nFSCgW0=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
rsc.io/binaryregexp v0.2.0/go.mod h1:qTv7/COck+e2FymRvadv62gMdZztPaShugOCi3I+8D8=
rsc.io/quote/v3 v3.1.0/go.mod h1:yEA65RcK8LyAZtP9Kv3t0HmxON59tX3rD+tICJqUlj0=
rsc.io/sampler v1.3.0/go.mod h1:T1hPZKmBbMNahiBKFy5HrXp6adAjACjK9JXDnKaTXpA=
x/circuit/go.mod
+1 -1
View File
@@ -145,7 +145,7 @@ require (
gopkg.in/yaml.v3 v3.0.1 // indirect
gotest.tools/v3 v3.4.0 // indirect
nhooyr.io/websocket v1.8.6 // indirect
pgregory.net/rapid v0.5.7 // indirect
pgregory.net/rapid v0.6.0 // indirect
sigs.k8s.io/yaml v1.3.0 // indirect
)
x/circuit/go.sum
+2 -2
View File
@@ -1324,8 +1324,8 @@ honnef.co/go/tools v0.0.1-2020.1.3/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9
honnef.co/go/tools v0.0.1-2020.1.4/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9vFzvIQ3k=
nhooyr.io/websocket v1.8.6 h1:s+C3xAMLwGmlI31Nyn/eAehUlZPwfYZu2JXM621Q5/k=
nhooyr.io/websocket v1.8.6/go.mod h1:B70DZP8IakI65RVQ51MsWP/8jndNma26DVA/nFSCgW0=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
rsc.io/binaryregexp v0.2.0/go.mod h1:qTv7/COck+e2FymRvadv62gMdZztPaShugOCi3I+8D8=
rsc.io/quote/v3 v3.1.0/go.mod h1:yEA65RcK8LyAZtP9Kv3t0HmxON59tX3rD+tICJqUlj0=
rsc.io/sampler v1.3.0/go.mod h1:T1hPZKmBbMNahiBKFy5HrXp6adAjACjK9JXDnKaTXpA=
x/evidence/go.mod
+1 -1
View File
@@ -146,7 +146,7 @@ require (
gopkg.in/yaml.v3 v3.0.1 // indirect
gotest.tools/v3 v3.4.0 // indirect
nhooyr.io/websocket v1.8.6 // indirect
pgregory.net/rapid v0.5.7 // indirect
pgregory.net/rapid v0.6.0 // indirect
sigs.k8s.io/yaml v1.3.0 // indirect
)
x/evidence/go.sum
+2 -2
View File
@@ -1358,8 +1358,8 @@ honnef.co/go/tools v0.0.1-2020.1.3/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9
honnef.co/go/tools v0.0.1-2020.1.4/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9vFzvIQ3k=
nhooyr.io/websocket v1.8.6 h1:s+C3xAMLwGmlI31Nyn/eAehUlZPwfYZu2JXM621Q5/k=
nhooyr.io/websocket v1.8.6/go.mod h1:B70DZP8IakI65RVQ51MsWP/8jndNma26DVA/nFSCgW0=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
rsc.io/binaryregexp v0.2.0/go.mod h1:qTv7/COck+e2FymRvadv62gMdZztPaShugOCi3I+8D8=
rsc.io/pdf v0.1.1/go.mod h1:n8OzWcQ6Sp37PL01nO98y4iUCRdTGarVfzxY20ICaU4=
rsc.io/quote/v3 v3.1.0/go.mod h1:yEA65RcK8LyAZtP9Kv3t0HmxON59tX3rD+tICJqUlj0=
x/feegrant/go.mod
+1 -1
View File
@@ -147,7 +147,7 @@ require (
gopkg.in/yaml.v2 v2.4.0 // indirect
gopkg.in/yaml.v3 v3.0.1 // indirect
nhooyr.io/websocket v1.8.6 // indirect
pgregory.net/rapid v0.5.7 // indirect
pgregory.net/rapid v0.6.0 // indirect
sigs.k8s.io/yaml v1.3.0 // indirect
)
x/feegrant/go.sum
+2 -2
View File
@@ -1331,8 +1331,8 @@ honnef.co/go/tools v0.0.1-2020.1.3/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9
honnef.co/go/tools v0.0.1-2020.1.4/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9vFzvIQ3k=
nhooyr.io/websocket v1.8.6 h1:s+C3xAMLwGmlI31Nyn/eAehUlZPwfYZu2JXM621Q5/k=
nhooyr.io/websocket v1.8.6/go.mod h1:B70DZP8IakI65RVQ51MsWP/8jndNma26DVA/nFSCgW0=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
rsc.io/binaryregexp v0.2.0/go.mod h1:qTv7/COck+e2FymRvadv62gMdZztPaShugOCi3I+8D8=
rsc.io/quote/v3 v3.1.0/go.mod h1:yEA65RcK8LyAZtP9Kv3t0HmxON59tX3rD+tICJqUlj0=
rsc.io/sampler v1.3.0/go.mod h1:T1hPZKmBbMNahiBKFy5HrXp6adAjACjK9JXDnKaTXpA=
x/group/internal/orm/primary_key_property_test.go
+140 -148
View File
@@ -14,50 +14,15 @@ import (
)
func TestPrimaryKeyTable(t *testing.T) {
rapid.Check(t, rapid.Run[*primaryKeyMachine]())
rapid.Check(t, testPrimaryKeyMachine)
}
// primaryKeyMachine is a state machine model of the PrimaryKeyTable. The state
// is modeled as a map of strings to TableModels.
type primaryKeyMachine struct {
store storetypes.KVStore
table *PrimaryKeyTable
state map[string]*testdata.TableModel
}
// stateKeys gets all the keys in the model map
func (m *primaryKeyMachine) stateKeys() []string {
keys := make([]string, len(m.state))
i := 0
for k := range m.state {
keys[i] = k
i++
}
return keys
}
// Generate a TableModel that has a 50% chance of being a part of the existing
// state
func (m *primaryKeyMachine) genTableModel() *rapid.Generator[*testdata.TableModel] {
genStateTableModel := rapid.Custom(func(t *rapid.T) *testdata.TableModel {
pk := rapid.SampledFrom(m.stateKeys()).Draw(t, "key")
return m.state[pk]
})
if len(m.stateKeys()) == 0 {
return genTableModel
}
return rapid.OneOf(genTableModel, genStateTableModel)
}
// Init creates a new instance of the state machine model by building the real
// table and making the empty model map
func (m *primaryKeyMachine) Init(t *rapid.T) {
func testPrimaryKeyMachine(t *rapid.T) {
// Init creates a new instance of the state machine model by building the real
// table and making the empty model map
// Create context
ctx := NewMockContext()
m.store = ctx.KVStore(storetypes.NewKVStoreKey("test"))
store := ctx.KVStore(storetypes.NewKVStoreKey("test"))
// Create primary key table
interfaceRegistry := types.NewInterfaceRegistry()
@@ -69,120 +34,147 @@ func (m *primaryKeyMachine) Init(t *rapid.T) {
)
require.NoError(t, err)
m.table = table
// Create model state
m.state = make(map[string]*testdata.TableModel)
state := make(map[string]*testdata.TableModel)
t.Run(map[string]func(*rapid.T){
// Create is one of the model commands. It adds an object to the table, creating
// an error if it already exists.
"Create": func(t *rapid.T) {
g := genTableModel.Draw(t, "g")
pk := string(PrimaryKey(g))
t.Logf("pk: %v", pk)
t.Logf("state: %v", state)
err := table.Create(store, g)
if state[pk] != nil {
require.Error(t, err)
} else {
require.NoError(t, err)
state[pk] = g
}
},
// Update is one of the model commands. It updates the value at a given primary
// key and fails if that primary key doesn't already exist in the table.
"Update": func(t *rapid.T) {
tm := generateTableModel(state).Draw(t, "tm")
newName := rapid.StringN(1, 100, 150).Draw(t, "newName")
tm.Name = newName
// Perform the real Update
err := table.Update(store, tm)
if state[string(PrimaryKey(tm))] == nil {
// If there's no value in the model, we expect an error
require.Error(t, err)
} else {
// If we have a value in the model, expect no error
require.NoError(t, err)
// Update the model with the new value
state[string(PrimaryKey(tm))] = tm
}
},
// Set is one of the model commands. It sets the value at a key in the table
// whether it exists or not.
"Set": func(t *rapid.T) {
g := genTableModel.Draw(t, "g")
pk := string(PrimaryKey(g))
err := table.Set(store, g)
require.NoError(t, err)
state[pk] = g
},
// Delete is one of the model commands. It removes the object with the given
// primary key from the table and returns an error if that primary key doesn't
// already exist in the table.
"Delete": func(t *rapid.T) {
tm := generateTableModel(state).Draw(t, "tm")
// Perform the real Delete
err := table.Delete(store, tm)
if state[string(PrimaryKey(tm))] == nil {
// If there's no value in the model, we expect an error
require.Error(t, err)
} else {
// If we have a value in the model, expect no error
require.NoError(t, err)
// Delete the value from the model
delete(state, string(PrimaryKey(tm)))
}
},
// Has is one of the model commands. It checks whether a key already exists in
// the table.
"Has": func(t *rapid.T) {
pk := PrimaryKey(generateTableModel(state).Draw(t, "g"))
realHas := table.Has(store, pk)
modelHas := state[string(pk)] != nil
require.Equal(t, realHas, modelHas)
},
// GetOne is one of the model commands. It fetches an object from the table by
// its primary key and returns an error if that primary key isn't in the table.
"GetOne": func(t *rapid.T) {
pk := PrimaryKey(generateTableModel(state).Draw(t, "tm"))
var tm testdata.TableModel
err := table.GetOne(store, pk, &tm)
t.Logf("tm: %v", tm)
if state[string(pk)] == nil {
require.Error(t, err)
} else {
require.NoError(t, err)
require.Equal(t, *state[string(pk)], tm)
}
},
// Check that the real values match the state values.
"": func(t *rapid.T) {
for i := range state {
has := table.Has(store, []byte(i))
require.Equal(t, true, has)
}
},
})
}
// Check that the real values match the state values.
func (m *primaryKeyMachine) Check(t *rapid.T) {
for i := range m.state {
has := m.table.Has(m.store, []byte(i))
require.Equal(t, true, has)
// stateKeys gets all the keys in the model map
func stateKeys(state map[string]*testdata.TableModel) []string {
keys := make([]string, len(state))
i := 0
for k := range state {
keys[i] = k
i++
}
return keys
}
// Create is one of the model commands. It adds an object to the table, creating
// an error if it already exists.
func (m *primaryKeyMachine) Create(t *rapid.T) {
g := genTableModel.Draw(t, "g")
pk := string(PrimaryKey(g))
// generateTableModel a TableModel that has a 50% chance of being a part of the existing
// state
func generateTableModel(state map[string]*testdata.TableModel) *rapid.Generator[*testdata.TableModel] {
genStateTableModel := rapid.Custom(func(t *rapid.T) *testdata.TableModel {
pk := rapid.SampledFrom(stateKeys(state)).Draw(t, "key")
return state[pk]
})
t.Logf("pk: %v", pk)
t.Logf("m.state: %v", m.state)
err := m.table.Create(m.store, g)
if m.state[pk] != nil {
require.Error(t, err)
} else {
require.NoError(t, err)
m.state[pk] = g
}
}
// Update is one of the model commands. It updates the value at a given primary
// key and fails if that primary key doesn't already exist in the table.
func (m *primaryKeyMachine) Update(t *rapid.T) {
tm := m.genTableModel().Draw(t, "tm")
newName := rapid.StringN(1, 100, 150).Draw(t, "newName")
tm.Name = newName
// Perform the real Update
err := m.table.Update(m.store, tm)
if m.state[string(PrimaryKey(tm))] == nil {
// If there's no value in the model, we expect an error
require.Error(t, err)
} else {
// If we have a value in the model, expect no error
require.NoError(t, err)
// Update the model with the new value
m.state[string(PrimaryKey(tm))] = tm
}
}
// Set is one of the model commands. It sets the value at a key in the table
// whether it exists or not.
func (m *primaryKeyMachine) Set(t *rapid.T) {
g := genTableModel.Draw(t, "g")
pk := string(PrimaryKey(g))
err := m.table.Set(m.store, g)
require.NoError(t, err)
m.state[pk] = g
}
// Delete is one of the model commands. It removes the object with the given
// primary key from the table and returns an error if that primary key doesn't
// already exist in the table.
func (m *primaryKeyMachine) Delete(t *rapid.T) {
tm := m.genTableModel().Draw(t, "tm")
// Perform the real Delete
err := m.table.Delete(m.store, tm)
if m.state[string(PrimaryKey(tm))] == nil {
// If there's no value in the model, we expect an error
require.Error(t, err)
} else {
// If we have a value in the model, expect no error
require.NoError(t, err)
// Delete the value from the model
delete(m.state, string(PrimaryKey(tm)))
}
}
// Has is one of the model commands. It checks whether a key already exists in
// the table.
func (m *primaryKeyMachine) Has(t *rapid.T) {
pk := PrimaryKey(m.genTableModel().Draw(t, "g"))
realHas := m.table.Has(m.store, pk)
modelHas := m.state[string(pk)] != nil
require.Equal(t, realHas, modelHas)
}
// GetOne is one of the model commands. It fetches an object from the table by
// its primary key and returns an error if that primary key isn't in the table.
func (m *primaryKeyMachine) GetOne(t *rapid.T) {
pk := PrimaryKey(m.genTableModel().Draw(t, "tm"))
var tm testdata.TableModel
err := m.table.GetOne(m.store, pk, &tm)
t.Logf("tm: %v", tm)
if m.state[string(pk)] == nil {
require.Error(t, err)
} else {
require.NoError(t, err)
require.Equal(t, *m.state[string(pk)], tm)
if len(stateKeys(state)) == 0 {
return genTableModel
}
return rapid.OneOf(genTableModel, genStateTableModel)
}
x/group/internal/orm/sequence_property_test.go
+29 -43
View File
@@ -10,60 +10,46 @@ import (
)
func TestSequence(t *testing.T) {
rapid.Check(t, rapid.Run[*sequenceMachine]())
rapid.Check(t, testSequenceMachine)
}
// sequenceMachine is a state machine model of Sequence. It simply uses a uint64
// as the model of the sequence.
type sequenceMachine struct {
store storetypes.KVStore
seq *Sequence
state uint64
}
// Init sets up the real Sequence, including choosing a random initial value,
// and intialises the model state
func (m *sequenceMachine) Init(t *rapid.T) {
// Create context and KV store
func testSequenceMachine(t *rapid.T) {
// Init sets up the real Sequence, including choosing a random initial value,
// and intialises the model state
ctx := NewMockContext()
m.store = ctx.KVStore(storetypes.NewKVStoreKey("test"))
store := ctx.KVStore(storetypes.NewKVStoreKey("test"))
// Create primary key table
seq := NewSequence(0x1)
m.seq = &seq
// Choose initial sequence value
initSeqVal := rapid.Uint64().Draw(t, "initSeqVal")
err := m.seq.InitVal(m.store, initSeqVal)
err := seq.InitVal(store, initSeqVal)
require.NoError(t, err)
// Create model state
m.state = initSeqVal
}
state := initSeqVal
// Check does nothing, because all our invariants are captured in the commands
func (m *sequenceMachine) Check(t *rapid.T) {}
// NextVal is one of the model commands. It checks that the next value of the
// sequence matches the model and increments the model state.
func (m *sequenceMachine) NextVal(t *rapid.T) {
// Check that the next value in the sequence matches the model
require.Equal(t, m.state+1, m.seq.NextVal(m.store))
// Increment the model state
m.state++
}
// CurVal is one of the model commands. It checks that the current value of the
// sequence matches the model.
func (m *sequenceMachine) CurVal(t *rapid.T) {
// Check the current value matches the model
require.Equal(t, m.state, m.seq.CurVal(m.store))
}
// PeekNextVal is one of the model commands. It checks that the next value of
// the sequence matches the model without modifying the state.
func (m *sequenceMachine) PeekNextVal(t *rapid.T) {
// Check that the next value in the sequence matches the model
require.Equal(t, m.state+1, m.seq.PeekNextVal(m.store))
t.Run(map[string]func(*rapid.T){
// NextVal is one of the model commands. It checks that the next value of the
// sequence matches the model and increments the model state.
"NextVal": func(t *rapid.T) {
// Check that the next value in the sequence matches the model
require.Equal(t, state+1, seq.NextVal(store))
// Increment the model state
state++
},
// CurVal is one of the model commands. It checks that the current value of the
// sequence matches the model.
"CurVal": func(t *rapid.T) {
// Check the current value matches the model
require.Equal(t, state, seq.CurVal(store))
},
// PeekNextVal is one of the model commands. It checks that the next value of
// the sequence matches the model without modifying the state.
"PeekNextVal": func(t *rapid.T) {
// Check that the next value in the sequence matches the model
require.Equal(t, state+1, seq.PeekNextVal(store))
},
})
}
x/nft/go.mod
+1 -1
View File
@@ -145,7 +145,7 @@ require (
gopkg.in/yaml.v3 v3.0.1 // indirect
gotest.tools/v3 v3.4.0 // indirect
nhooyr.io/websocket v1.8.6 // indirect
pgregory.net/rapid v0.5.7 // indirect
pgregory.net/rapid v0.6.0 // indirect
sigs.k8s.io/yaml v1.3.0 // indirect
)
x/nft/go.sum
+2 -2
View File
@@ -1359,8 +1359,8 @@ honnef.co/go/tools v0.0.1-2020.1.3/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9
honnef.co/go/tools v0.0.1-2020.1.4/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9vFzvIQ3k=
nhooyr.io/websocket v1.8.6 h1:s+C3xAMLwGmlI31Nyn/eAehUlZPwfYZu2JXM621Q5/k=
nhooyr.io/websocket v1.8.6/go.mod h1:B70DZP8IakI65RVQ51MsWP/8jndNma26DVA/nFSCgW0=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
rsc.io/binaryregexp v0.2.0/go.mod h1:qTv7/COck+e2FymRvadv62gMdZztPaShugOCi3I+8D8=
rsc.io/pdf v0.1.1/go.mod h1:n8OzWcQ6Sp37PL01nO98y4iUCRdTGarVfzxY20ICaU4=
rsc.io/quote/v3 v3.1.0/go.mod h1:yEA65RcK8LyAZtP9Kv3t0HmxON59tX3rD+tICJqUlj0=
x/tx/go.mod
+1 -1
View File
@@ -15,7 +15,7 @@ require (
github.com/tendermint/go-amino v0.16.0
google.golang.org/protobuf v1.30.0
gotest.tools/v3 v3.4.0
pgregory.net/rapid v0.5.7
pgregory.net/rapid v0.6.0
)
require (
x/tx/go.sum
+2 -2
View File
@@ -87,6 +87,6 @@ gopkg.in/yaml.v3 v3.0.1 h1:fxVm/GzAzEWqLHuvctI91KS9hhNmmWOoWu0XTYJS7CA=
gopkg.in/yaml.v3 v3.0.1/go.mod h1:K4uyk7z7BCEPqu6E+C64Yfv1cQ7kz7rIZviUmN+EgEM=
gotest.tools/v3 v3.4.0 h1:ZazjZUfuVeZGLAmlKKuyv3IKP5orXcwtOwDQH6YVr6o=
gotest.tools/v3 v3.4.0/go.mod h1:CtbdzLSsqVhDgMtKsx03ird5YTGB3ar27v0u/yKBW5g=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
sigs.k8s.io/yaml v1.3.0 h1:a2VclLzOGrwOHDiV8EfBGhvjHvP46CtW5j6POvhYGGo=
x/upgrade/go.mod
+1 -1
View File
@@ -170,7 +170,7 @@ require (
gopkg.in/yaml.v3 v3.0.1 // indirect
gotest.tools/v3 v3.4.0 // indirect
nhooyr.io/websocket v1.8.6 // indirect
pgregory.net/rapid v0.5.7 // indirect
pgregory.net/rapid v0.6.0 // indirect
sigs.k8s.io/yaml v1.3.0 // indirect
)
x/upgrade/go.sum
+2 -2
View File
@@ -1755,8 +1755,8 @@ honnef.co/go/tools v0.0.1-2020.1.3/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9
honnef.co/go/tools v0.0.1-2020.1.4/go.mod h1:X/FiERA/W4tHapMX5mGpAtMSVEeEUOyHaw9vFzvIQ3k=
nhooyr.io/websocket v1.8.6 h1:s+C3xAMLwGmlI31Nyn/eAehUlZPwfYZu2JXM621Q5/k=
nhooyr.io/websocket v1.8.6/go.mod h1:B70DZP8IakI65RVQ51MsWP/8jndNma26DVA/nFSCgW0=
pgregory.net/rapid v0.5.7 h1:p7/XbOgyFY1I/3Q12UTXfos70VZTcgc3WeoyiEru5cs=
pgregory.net/rapid v0.5.7/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
pgregory.net/rapid v0.6.0 h1:z1xRV76gUDL/H0HUpn1z0XuucGC3YovhPidzwzm+224=
pgregory.net/rapid v0.6.0/go.mod h1:PY5XlDGj0+V1FCq0o192FdRhpKHGTRIWBgqjDBTrq04=
rsc.io/binaryregexp v0.2.0/go.mod h1:qTv7/COck+e2FymRvadv62gMdZztPaShugOCi3I+8D8=
rsc.io/pdf v0.1.1/go.mod h1:n8OzWcQ6Sp37PL01nO98y4iUCRdTGarVfzxY20ICaU4=
rsc.io/quote/v3 v3.1.0/go.mod h1:yEA65RcK8LyAZtP9Kv3t0HmxON59tX3rD+tICJqUlj0=