[splint.git] / test / tests2.5 / testimmutable.c

# include "immutable.h"

void testimmutable (void)
{
  immutable i1 = immutable_create (3);
  immutable_print (i1);
}
Commit	Line	Data
80ee600a	1	# include "immutable.h"
	2
	3	void testimmutable (void)
	4	{
	5	immutable i1 = immutable_create (3);
	6	immutable_print (i1);
	7	}