Skip to content

Commit

Permalink
Fix broken links to test samples (#527)
Browse files Browse the repository at this point in the history
  • Loading branch information
danil-pavlov authored Feb 14, 2025
1 parent 32052dd commit a758c54
Show file tree
Hide file tree
Showing 6 changed files with 8 additions and 13 deletions.
2 changes: 1 addition & 1 deletion docs/topics/constraints.md
Original file line number Diff line number Diff line change
Expand Up @@ -96,7 +96,7 @@ Here is an example of the scenario generated for this test:
Note that all consuming `poll()` and `peek()` invocations are performed from a single thread, thus satisfying the
"single-consumer" restriction.

> [Get the full code](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/MPSCQueueTest.kt).
> [Get the full code](https://github.com/JetBrains/lincheck/blob/master/src/jvm/test/org/jetbrains/kotlinx/lincheck_test/guide/MPSCQueueTest.kt).
>
{style="note"}

Expand Down
4 changes: 2 additions & 2 deletions docs/topics/introduction.md
Original file line number Diff line number Diff line change
Expand Up @@ -170,7 +170,7 @@ The updated `BasicCounterTest` class will look like this:
* **T2**: The second thread resumes and increments the previously obtained counter value, incorrectly updating the
counter to `1`.

> [Get the full code](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/BasicCounterTest.kt).
> [Get the full code](https://github.com/JetBrains/lincheck/blob/master/src/jvm/test/org/jetbrains/kotlinx/lincheck_test/guide/BasicCounterTest.kt).
>
{style="note"}

Expand Down Expand Up @@ -252,7 +252,7 @@ The following interleaving leads to the error:
| --------------------------------------------------------------------------------------------------------------------------------- |
```

> [Get the full code](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/ConcurrentLinkedDequeTest.kt).
> [Get the full code](https://github.com/JetBrains/lincheck/blob/master/src/jvm/test/org/jetbrains/kotlinx/lincheck_test/guide/ConcurrentLinkedDequeTest.kt).
>
{style="note"}

Expand Down
5 changes: 0 additions & 5 deletions docs/topics/operation-arguments.md
Original file line number Diff line number Diff line change
Expand Up @@ -130,11 +130,6 @@ For this, configure the generator for a `key: Int` parameter:
Due to the small range of keys, Lincheck quickly reveals the race: when two values are being added concurrently by the same key,
one of the values may be overwritten and lost.

> [Get the full code](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/MultiMapTest.kt).
>
{style="note"}


## Next step

Learn how to test data structures that set [access constraints on the execution](constraints.md),
Expand Down
4 changes: 2 additions & 2 deletions docs/topics/progress-guarantees.md
Original file line number Diff line number Diff line change
Expand Up @@ -103,8 +103,8 @@ class ConcurrentSkipListMapTest {
At the moment, Lincheck supports only the obstruction-freedom progress guarantees. However, most real-life liveness bugs
add unexpected blocking code, so the obstruction-freedom check will also help with lock-free and wait-free algorithms.

> * Get the [full code of the example](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/ConcurrentMapTest.kt).
> * See [another example](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/ObstructionFreedomViolationTest.kt)
> * Get the [full code of the example](https://github.com/JetBrains/lincheck/blob/master/src/jvm/test/org/jetbrains/kotlinx/lincheck_test/guide/ConcurrentMapTest.kt).
> * See [another example](https://github.com/JetBrains/lincheck/blob/master/src/jvm/test/org/jetbrains/kotlinx/lincheck_test/guide/ObstructionFreedomViolationTest.kt)
> where the Michael-Scott queue implementation is tested for progress guarantees.
>
{style="note"}
Expand Down
2 changes: 1 addition & 1 deletion docs/topics/sequential-specification.md
Original file line number Diff line number Diff line change
Expand Up @@ -49,6 +49,6 @@ class SequentialQueue {
}
```

> Get the [full code of the examples](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/ConcurrentLinkedQueueTest.kt).
> Get the [full code of the examples](https://github.com/JetBrains/lincheck/blob/master/src/jvm/test/org/jetbrains/kotlinx/lincheck_test/guide/ConcurrentLinkedQueueTest.kt).
>
{style="note"}
4 changes: 2 additions & 2 deletions docs/topics/testing-strategies.md
Original file line number Diff line number Diff line change
Expand Up @@ -267,8 +267,8 @@ states in the trace, add the `stateRepresentation()` function to the `CounterTes
In case of stress testing, Lincheck prints the state representation right before and after the parallel part of the scenario,
as well as at the end.
> * Get the [full code of these examples](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/CounterTest.kt)
> * See more [test examples](https://github.com/Kotlin/kotlinx-lincheck/blob/guide/src/jvm/test/org/jetbrains/kotlinx/lincheck/test/guide/StackTest.kt)
> * Get the [full code of these examples](https://github.com/JetBrains/lincheck/tree/master/src/jvm/test/org/jetbrains/kotlinx/lincheck_test/guide/CounterTest.kt)
> * See more [test examples](https://github.com/JetBrains/lincheck/tree/master/src/jvm/test/org/jetbrains/kotlinx/lincheck_test/guide)
>
{style="note"}
Expand Down

0 comments on commit a758c54

Please sign in to comment.