Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: broken links to test samples #527

Merged
merged 1 commit into from
Feb 14, 2025
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
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