Property-Based Test Generation With DeepSeek-R1
Leverage DeepSeek-R1's internal problem decomposition and re-verification cycle to uncover subtle boundary bugs in parser implementations.
User Prompt: Given this custom ISO-8601 duration parser implementation in TypeScript {{CODE}}, derive 10 adversarial edge-case input strings (including leap-year rollovers, DST transitions, and fractional seconds) that will cause incorrect millisecond outputs.Fill in the blanks (1)
Nobody has confirmed this prompt yet. If you try it, tell others whether it worked.
No comments yet.