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. |