CBMC
example.c
Go to the documentation of this file.
1 // File just to allow smoke testing of Rust API while tests are run.
2 
3 int main(int argc, char *argv[])
4 {
5  int arr[] = {0, 1, 2, 3};
6  __CPROVER_assert(arr[3] != 3, "expected failure: arr[3] == 3");
7 }
__CPROVER_assert
void __CPROVER_assert(__CPROVER_bool assertion, const char *description)
main
int main(int argc, char *argv[])
Definition: example.c:3