fixed another splicing issue with skips

This commit is contained in:
Kevin Jahns
2025-06-06 02:09:24 +02:00
parent 8ed880963f
commit 48a9dc17b2
2 changed files with 2 additions and 2 deletions

View File

@@ -112,7 +112,7 @@ export const addStruct = (store, struct) => {
const diffStart = struct.id.clock - skip.id.clock
const diffEnd = skip.id.clock + skip.length - struct.id.clock - struct.length
if (diffStart > 0) {
structs.splice(index++, 0, new Skip(createID(struct.id.client, struct.id.clock), diffStart))
structs.splice(index++, 0, new Skip(createID(struct.id.client, skip.id.clock), diffStart))
}
if (diffEnd > 0) {
structs.splice(index + 1, 0, new Skip(createID(struct.id.client, struct.id.clock + struct.length), diffEnd))

View File

@@ -604,7 +604,7 @@ const arrayTransactions = [
* @param {t.TestCase} tc
*/
export const testRepeatGeneratingYarrayTests6 = tc => {
applyRandomTests(tc, arrayTransactions, 8)
applyRandomTests(tc, arrayTransactions, 6*3)
}
/**