Skip to content
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/build/rendezvous/quickstart.md
Original file line number Diff line number Diff line change
Expand Up @@ -678,7 +678,7 @@ You can see a complete step-by-step implementation of this tutorial with commit-

Now that you understand the power of Rendezvous, explore:

- **More examples**: Study other smart contracts in the examples (see [Chapter 8](chapter_8.md))
- **More examples**: Study other smart contracts in the [Examples Chapter](https://stacks-network.github.io/rendezvous/chapter_8.html) of the [Rendezvous Docs](https://stacks-network.github.io/rendezvous/)
- **Your own contracts**: Apply Rendezvous to your projects and find bugs before they reach production

---
Expand Down
10 changes: 8 additions & 2 deletions docs/reference/rendezvous/reference.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,9 @@
---
description: >-
Complete reference for Rendezvous CLI commands, configuration options, and
advanced usage.
---

# Rendezvous Reference

This reference explains how to use Rendezvous in different situations. By the end, you'll know when and how to use its features effectively.
Expand Down Expand Up @@ -92,7 +98,7 @@ The `<type>` argument specifies the testing technique to use. The available opti
- `test` – Runs property-based tests.
- `invariant` – Runs invariant tests.

For a deeper understanding of these techniques and when to use each, see [Testing Methodologies](chapter_4.md).
For a deeper understanding of these techniques and when to use each, see [Testing Methodologies](https://stacks-network.github.io/rendezvous/chapter_4.md) chapter of the [Rendezvous Docs](https://stacks-network.github.io/rendezvous/).

**Running property-based tests**

Expand Down Expand Up @@ -549,4 +555,4 @@ To enable testing, the project includes [rendezvous-token](https://github.com/st

### Adding More Implementations

You can include multiple eligible trait implementations in your project. Adding more implementations allows Rendezvous to introduce greater randomness during testing and increases behavioral diversity. If a function that accepts a trait implementation parameter is called X times, those calls are distributed across the available implementations. As the number of implementations grows, Rendezvous has more options to choose from on each call, producing a wider range of behaviors — and uncovering edge cases that may be missed when relying on a single implementation.
You can include multiple eligible trait implementations in your project. Adding more implementations allows Rendezvous to introduce greater randomness during testing and increases behavioral diversity. If a function that accepts a trait implementation parameter is called X times, those calls are distributed across the available implementations. As the number of implementations grows, Rendezvous has more options to choose from on each call, producing a wider range of behaviors — and uncovering edge cases that may be missed when relying on a single implementation.
Loading