Improved tracking of state change locations. Added +showdeephistory

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

# include "immutable.h"

void testimmutable (void)
{
  immutable i1 = immutable_create (3);
  immutable_print (i1);
}