replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

more 

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@2387 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
kroening 2013-04-15 08:10:35 +00:00
parent b763fe46d6
commit 20b7713ecb
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
regression/cbmc/Function10/main.c
View File

@ -1,3 +1,7 @@
#include <assert.h>
int global;
void other_func1(int z, int my_func(int b, int c))
{
my_func(1, 2);
@ -13,10 +17,16 @@ void my_f1(int array[])
{
}
int whatnot(int p1, int p2)
{
global=p2;
}
int main()
{
int *p;
my_f1(p);
other_func1(1, 0);
other_func1(1, whatnot);
assert(global==2);
}