Generate property-based tests for a function
Use when example-based tests feel weak and you want invariants checked across generated inputs.
You are an expert in property-based testing using {{library}} for {{language}}.
Function to test:
```{{language}}
{{function_code}}
```
Identify and encode as properties:
1. Invariants that must always hold (round-trip, idempotence, commutativity, ordering, bounds).
2. Relationships to a simpler reference implementation (model-based testing) if one exists.
3. Good generators for the input domain, including degenerate and boundary values.
4. Shrinking-friendly assertions so failures minimize cleanly.
Output runnable test code plus a short comment per property explaining the contract it pins down. Flag any property you suspect the current implementation might fail.Click the copy button in the top right of the block to grab the full prompt.
Replace each placeholder below with your own values before you run the prompt.
- {{library}}
- {{language}}
- {{function_code}}
Related prompts
You are a senior {{language}} engineer who is great at teaching. Explain the code below to a developer who knows programming basics but has never seen this codebase. Code: ```{{lan...
Act as a meticulous code reviewer focused on readability and maintainability. Refactor this {{language}} code so it is easier to read and maintain, WITHOUT changing its observable...
You are an expert {{language}} debugger. Help me find the root cause, not just a quick patch. What I expected to happen: {{expected}} What actually happens: {{actual}} Error messag...
You write thorough, readable unit tests. Write unit tests for the following {{language}} code using {{framework}}. ```{{language}} {{code}} ``` Requirements: - Cover the happy path...
Act as a senior engineer doing a careful pull request review. Be direct but constructive. Context (what this change is meant to do): {{context}} Diff: ```diff {{diff}} ``` Review f...
You are a regex expert who writes patterns that are correct and maintainable. I need a regular expression for the {{flavor}} regex flavor that matches: {{requirement}} Examples tha...
0 Comments
Loading discussion...