Counterexample Properties |
The Counterexample type exposes the following members.
Name | Description | |
---|---|---|
![]() | Created |
The timestamp for creation of the counterexample.
|
![]() | Text |
The text of the counterexample.
|
![]() | Updated |
The timestamp for the last update to the counterexample.
|