Issues

• Shrunk invariant counterexample may not reproduce from a fresh deployment

  stx-labs/rendezvous#312 · Filter by author DicksonWu654 opened on Nov 6, 2026

• test: use onTestFinished for the fail_on_unchecked CLI test cleanup

  stx-labs/rendezvous#308 · Filter by author hugo-stacks opened on Nov 5, 2026

• test: create temp base dirs in beforeAll so filtered runs clean up

  stx-labs/rendezvous#307 · Filter by author hugo-stacks opened on Nov 5, 2026

• test: cover stderr styling of failure logs in main()

  stx-labs/rendezvous#306 · Filter by author hugo-stacks opened on Nov 5, 2026

• Record the Rendezvous version in saved regressions and warn on mismatch

  enhancement
  stx-labs/rendezvous#301 · Filter by author hugo-stacks opened on Nov 4, 2026

• Generate Clarity values directly in argument arbitraries

  enhancement
  stx-labs/rendezvous#300 · Filter by author hugo-stacks opened on Nov 4, 2026

• Implement fuzzing plans to fuzz multiple contracts at a time

  enhancement
  Feature

  stx-labs/rendezvous#148 · Filter by author radubahmata opened on Jun 9, 2025
  8

• Contract snapshot reported on failure

  enhancement
  Feature

  stx-labs/rendezvous#145 · Filter by author radubahmata opened on May 21, 2025
  2

• Integrate MiniZinc for constraint-based test generation

  enhancement
  Feature

  stx-labs/rendezvous#135 · Filter by author moodmosaic opened on Apr 10, 2025

• UI with tmux-style static and dynamic panes

  enhancement
  Feature

  stx-labs/rendezvous#118 · Filter by author moodmosaic opened on Feb 26, 2025
  1

• Explore outside-in invariant testing

  question
  stx-labs/rendezvous#99 · Filter by author moodmosaic opened on Jan 21, 2025
  1

• Support graceful termination via CTRL+C

  enhancement
  Feature

  stx-labs/rendezvous#86 · Filter by author moodmosaic opened on Jan 9, 2025

• Show test coverage and statistics after test runs

  enhancement
  Feature

  stx-labs/rendezvous#85 · Filter by author moodmosaic opened on Jan 9, 2025
  1

• Support for user-defined generators

  enhancement
  Feature

  stx-labs/rendezvous#66 · Filter by author moodmosaic opened on Dec 17, 2024
  4

• Support wildcards for test selection

  enhancement
  Feature

  stx-labs/rendezvous#60 · Filter by author moodmosaic opened on Dec 13, 2024
  2