fuzz: add types.Dec.SetString

Updates #7921.
cosmos · Jun 4, 2022 · bbeff9a · bbeff9a
1 parent 5d766f5
commit bbeff9a
Show file tree

Hide file tree

Showing 77 changed files with 104 additions and 0 deletions.
diff --git a/fuzz/types/dec/setstring/corpus/01839f8b106e6001901b1a337f3b9b6a7c32188d b/fuzz/types/dec/setstring/corpus/01839f8b106e6001901b1a337f3b9b6a7c32188d
@@ -0,0 +1 @@
+-04
diff --git a/fuzz/types/dec/setstring/corpus/06576556d1ad802f247cad11ae748be47b70cd9c-3 b/fuzz/types/dec/setstring/corpus/06576556d1ad802f247cad11ae748be47b70cd9c-3
@@ -0,0 +1 @@
+R
diff --git a/fuzz/types/dec/setstring/corpus/0947adcca38c909334d48874c847813a7d0a9172-2 b/fuzz/types/dec/setstring/corpus/0947adcca38c909334d48874c847813a7d0a9172-2
diff --git a/fuzz/types/dec/setstring/corpus/0f58d5a5515f1a8a9d179aa58858b67b2f8a3388-1 b/fuzz/types/dec/setstring/corpus/0f58d5a5515f1a8a9d179aa58858b67b2f8a3388-1
@@ -0,0 +1 @@
+000000000
diff --git a/fuzz/types/dec/setstring/corpus/0f96a57140c1f6b62c0ed4543abd7ea0f19963e4 b/fuzz/types/dec/setstring/corpus/0f96a57140c1f6b62c0ed4543abd7ea0f19963e4
@@ -0,0 +1 @@
+-25
diff --git a/fuzz/types/dec/setstring/corpus/0fefd27cad4915946049f0352bedc0fa59d601e2-1 b/fuzz/types/dec/setstring/corpus/0fefd27cad4915946049f0352bedc0fa59d601e2-1
@@ -0,0 +1 @@
+-0
diff --git a/fuzz/types/dec/setstring/corpus/1.seed b/fuzz/types/dec/setstring/corpus/1.seed
@@ -0,0 +1 @@
+1.2468111
diff --git a/fuzz/types/dec/setstring/corpus/1432e05d12ae23d7d479b6c34c7f01857b75d2a0 b/fuzz/types/dec/setstring/corpus/1432e05d12ae23d7d479b6c34c7f01857b75d2a0
@@ -0,0 +1 @@
+00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
diff --git a/fuzz/types/dec/setstring/corpus/165ed75c0a85d2ff8128d555d9c5c9920a1d9fae b/fuzz/types/dec/setstring/corpus/165ed75c0a85d2ff8128d555d9c5c9920a1d9fae
@@ -0,0 +1 @@
+0000000002446345918554318339765539424505774633321719753296399637136332111386476861244038034037280889270700500000000000000000024463459185543183397655394245057746333217197532963996371363321113864768612440380340372808892707005000000000000000000244634591855431833976553942450577463332171975329639963713633211138647686124403803403728088927070050000000000000000002446345918554318339765539424505774633321719753296399637136332111386476861244038034037280889270700500000000000000000024463459185543183397655394245057746333217197532963996371363321113864768612440380340372808892707005-
diff --git a/fuzz/types/dec/setstring/corpus/16f3e584044a26793e023d78d9c87b9d5ab5a3de-2 b/fuzz/types/dec/setstring/corpus/16f3e584044a26793e023d78d9c87b9d5ab5a3de-2
@@ -0,0 +1 @@
+00000000.0
diff --git a/fuzz/types/dec/setstring/corpus/1995df120dba250d3f35c4b0e06126a2f35affee b/fuzz/types/dec/setstring/corpus/1995df120dba250d3f35c4b0e06126a2f35affee
@@ -0,0 +1 @@
+42415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741584447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415844472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415844472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857474447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415844472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475744472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741584447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889
diff --git a/fuzz/types/dec/setstring/corpus/1f0c824278b4d2df270bae20aa3114f85030ede3-8 b/fuzz/types/dec/setstring/corpus/1f0c824278b4d2df270bae20aa3114f85030ede3-8
@@ -0,0 +1 @@
+00000000000000000024463459185543183397655394245057746333217197532963996371363321113864768612440380340372808892707005
diff --git a/fuzz/types/dec/setstring/corpus/1f9d99565073f82e0aa5df4234f080ecf2900588-3 b/fuzz/types/dec/setstring/corpus/1f9d99565073f82e0aa5df4234f080ecf2900588-3
@@ -0,0 +1 @@
+0.0000000000
diff --git a/fuzz/types/dec/setstring/corpus/2.seed b/fuzz/types/dec/setstring/corpus/2.seed
@@ -0,0 +1 @@
+10.9283838383
diff --git a/fuzz/types/dec/setstring/corpus/25e6faccd5b8d8934caf51028f01be338c16f009 b/fuzz/types/dec/setstring/corpus/25e6faccd5b8d8934caf51028f01be338c16f009
@@ -0,0 +1 @@
+00000000000000000686479766013060971498190079908139321726943530014330540939446345918554318339765539424505774633321719753296399637136332111386476861244038034037280889270700500000000000000000006864797660130609714981900799081393217269435300143305409394463459185543183397655394245057746333217197532963996371363321113864768612440380340372808892707000000000000000000006864797660130609714981900799081393217269435300143305409394463459185543183397655394245057746333217197532963996371363321113864768612440380340372808892707005000000000000000000068647976601306097149819007990813932172694353001433054093944634591855431833976553942450577463332171975329639963713633211138647686124403803403728088927070000000000000000000068647976601306097149819007990813932172694353001433054093944634591855431833976553942450577463332171975329639963713633211138647686124403803403728088927070050000000000000000000686479766013060971498190079908139321726943530014330540939446345918554318339765539424505774633321719753296399637136332111386476861244038034037280889270700000000000000000000686479766013060971498190079908139321726943530014330540939446345918554318339765539424505774633321719753296399637136332111386476861244038034037280889270700500000000000000000006864797660130609714981900799081393217269435300143305409394463459185543183397655394245057746333217197532963996371363321113864768612440380340372808892707000325175235336e
diff --git a/fuzz/types/dec/setstring/corpus/26253c02ebaedf728e78556b5db5ffd6a9aafa82-4 b/fuzz/types/dec/setstring/corpus/26253c02ebaedf728e78556b5db5ffd6a9aafa82-4
@@ -0,0 +1,6 @@
+3.695936996Z",
+  "chain_id": "%s",
+  "validators": [
+    {
+      "pub_key": {
+        "type": "tenderm
diff --git a/fuzz/types/dec/setstring/corpus/3.seed b/fuzz/types/dec/setstring/corpus/3.seed
@@ -0,0 +1 @@
+77.92
diff --git a/fuzz/types/dec/setstring/corpus/364168e904a1de4fa36d871dd436196156588c77-1 b/fuzz/types/dec/setstring/corpus/364168e904a1de4fa36d871dd436196156588c77-1
@@ -0,0 +1 @@
+0.9283alid key: %s838
diff --git a/fuzz/types/dec/setstring/corpus/3645e6a082eba2f4188e4bfec630772d4c831ae1 b/fuzz/types/dec/setstring/corpus/3645e6a082eba2f4188e4bfec630772d4c831ae1
diff --git a/fuzz/types/dec/setstring/corpus/3a52ce780950d4d969792a2559cd519d7ee8c727-1 b/fuzz/types/dec/setstring/corpus/3a52ce780950d4d969792a2559cd519d7ee8c727-1
@@ -0,0 +1 @@
+.
diff --git a/fuzz/types/dec/setstring/corpus/3bc15c8aae3e4124dd409035f32ea2fd6835efc9-1 b/fuzz/types/dec/setstring/corpus/3bc15c8aae3e4124dd409035f32ea2fd6835efc9-1
@@ -0,0 +1 @@
+-
diff --git a/fuzz/types/dec/setstring/corpus/4.seed b/fuzz/types/dec/setstring/corpus/4.seed
@@ -0,0 +1 @@
+77
diff --git a/fuzz/types/dec/setstring/corpus/5.seed b/fuzz/types/dec/setstring/corpus/5.seed
@@ -0,0 +1 @@
+4
diff --git a/fuzz/types/dec/setstring/corpus/53a0acfad59379b3e050338bf9f23cfc172ee787-4 b/fuzz/types/dec/setstring/corpus/53a0acfad59379b3e050338bf9f23cfc172ee787-4
@@ -0,0 +1 @@
+_
diff --git a/fuzz/types/dec/setstring/corpus/53bfccc02b898f1f9b9b506ba46416b0c4009358 b/fuzz/types/dec/setstring/corpus/53bfccc02b898f1f9b9b506ba46416b0c4009358
@@ -0,0 +1 @@
+4447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889
diff --git a/fuzz/types/dec/setstring/corpus/5482c999f047c2ad681a1956276d38f0babb2817-7 b/fuzz/types/dec/setstring/corpus/5482c999f047c2ad681a1956276d38f0babb2817-7
@@ -0,0 +1 @@
+00000000000000000006864797660130609714981900799081393217269435300143305409394463459185543183397655394245057746333217197532963996371363321113864768612440380340372808892707005
diff --git a/fuzz/types/dec/setstring/corpus/560cbfc0ebe3921807ee85feca0cfe889b0089c7 b/fuzz/types/dec/setstring/corpus/560cbfc0ebe3921807ee85feca0cfe889b0089c7
@@ -0,0 +1 @@
+57415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415844472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415844472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706200000000000000002461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741584447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741584447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415844472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170000000000000004447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415844472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475744472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741584447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062000000000000000024617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741584447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415844472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415844472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158380000000000000044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741584447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741584447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415844472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170620000000000000000246170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415844472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475744472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741584447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617000000000000000444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741584447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415844472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415844472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706200000000000000002461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741584447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741584447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838897204447225001546170624424154617086385747574158388944472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415844472250015461706244241546170863857475741583889720444722500154617062442415461708638574757415838894447225001546170624424154617086385747574158388972044472250015461706244241546170863857475741583889444722500154617062442415461708638574757415838-