libcprover_rust 6.9.0

Rust API for CBMC and assorted CProver tools
1
2
3
4
5
6
7

// File just to allow smoke testing of Rust API while tests are run.

int main(int argc, char *argv[])
{
  int arr[] = {0, 1, 2, 3};
  __CPROVER_assert(arr[3] != 3, "expected failure: arr[3] == 3");
}