dnl $Id: testsuite.in,v 1.27 2003/03/30 01:01:27 mast Exp $

  test_true(objectp(Public.ADT.StateMachine))

