Skip to content
| Marketplace
Sign in
Visual Studio>Tools>DoctestInteractive
DoctestInteractive

DoctestInteractive

Tom Akita

|
128 installs
| (0) | Free
Interactive doctesting for C#!
Download

DoctestInteractive allows you to use C# to specify correctness properties for the C# program being edited. DoctestInteractive uses FsCheck to make a best-effort attempt to verify that those properties are satisfied in real time, as you edit your code, and provides feedback when those properties are not satisfied.

Short demo video on YouTube

Additional documentation on GitHub

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft