Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 214b7469 authored by Yannick Li's avatar Yannick Li
Browse files

Reduce the number of iterations of property tests for RGA/Ratchet

parent 7d9a2df1
No related branches found
No related tags found
4 merge requests!103Resolve "Incorrect results when merging deltas of concurrent writes",!102Resolve "CRDTs are modified even if onWrite raises an exception",!101Resolve "Cleanup constructors",!100Resolve "Add property-based tests for CRDTs"
Pipeline #280161 failed
......@@ -277,7 +277,7 @@ class RGAPropTest : StringSpec({
}
"deserialize is inverse to serialize" {
forAll(750, Arb.list(Arb.enum<RGAOpType>(), 0..75)) { ops ->
forAll(500, Arb.list(Arb.enum<RGAOpType>())) { ops ->
val res = StringBuilder()
val rga = RGA(client1)
......
......@@ -62,8 +62,7 @@ class RatchetPropTest : StringSpec({
}
"arbitrary set and merge always yields largest element" {
// Need to reduce range to 0..25 otherwise js test fails due to timeout (default is 0..100)
forAll(Arb.list(OperationArb, 0..25)) { ops ->
forAll(500, Arb.list(OperationArb)) { ops ->
val maybeMaximum = ops.maxByOrNull { it.second }
val maximum = maybeMaximum?.second ?: ""
......@@ -79,8 +78,8 @@ class RatchetPropTest : StringSpec({
}
"merge with deltas" {
// Need to reduce range to 0..15 otherwise js test fails due to timeout (default is 0..100)
forAll(Arb.list(Arb.string(), 0..15), Arb.list(Arb.string(), 0..15)) { ops1, ops2 ->
// Need to reduce range to 0..50 otherwise js test fails due to timeout (default is 0..100)
forAll(500, Arb.list(Arb.string(), 0..50), Arb.list(Arb.string(), 0..50)) { ops1, ops2 ->
val m1 = ops1.maxOrNull() ?: ""
val m2 = ops2.maxOrNull() ?: ""
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment