-
Notifications
You must be signed in to change notification settings - Fork 13
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#250 In stx-labs/rendezvous;
- Status: Open.#216 In stx-labs/rendezvous;
Implement fuzzing plans to fuzz multiple contracts at a time
enhancementNew feature or requestNew feature or requestStatus: Open.#148 In stx-labs/rendezvous;Contract snapshot reported on failure
enhancementNew feature or requestNew feature or requestStatus: Open.#145 In stx-labs/rendezvous;Integrate MiniZinc for constraint-based test generation
enhancementNew feature or requestNew feature or requestStatus: Open.#135 In stx-labs/rendezvous;UI with tmux-style static and dynamic panes
enhancementNew feature or requestNew feature or requestStatus: Open.#118 In stx-labs/rendezvous;Explore outside-in invariant testing
questionFurther information is requestedFurther information is requestedStatus: Open.#99 In stx-labs/rendezvous;Support graceful termination via CTRL+C
enhancementNew feature or requestNew feature or requestStatus: Open.#86 In stx-labs/rendezvous;Show test coverage and statistics after test runs
enhancementNew feature or requestNew feature or requestStatus: Open.#85 In stx-labs/rendezvous;Support for user-defined generators
enhancementNew feature or requestNew feature or requestStatus: Open.#66 In stx-labs/rendezvous;Support wildcards for test selection
enhancementNew feature or requestNew feature or requestStatus: Open.#60 In stx-labs/rendezvous;