Michael Tautschnig 7ecf1f69e8 Add test showing limitations of __CPROVER_w_ok ... We do not currently have a good way of distinguishing lvalues from rvalues, and thus actually treat __CPROVER_w_ok and __CPROVER_r_ok the same. The test shows that this shouldn't always be done.		2019-04-10 12:57:46 +00:00
..
main.c	Add test showing limitations of __CPROVER_w_ok	2019-04-10 12:57:46 +00:00
test.desc	Add test showing limitations of __CPROVER_w_ok	2019-04-10 12:57:46 +00:00