#!/bin/sh

#*** Copyright 2002-2004 The Acute Team
#
#  Allen-Williams, Mair
#  Bishop, Steven
#  Fairbairn, Matthew
#  Habouzit, Pierre [*]
#  Leifer, James [*]
#  Sewell, Peter
#  Sjberg, Vilhelm
#  Steinruecken, Christian
#  Vafeiadis, Viktor
#  Wansbrough, Keith
#  Zappa Nardelli, Francesco [*]
#  Institut National de Recherche en Informatique et en Automatique (INRIA)
#
#  Contributions of authors marked [*] are copyright INRIA.
#
#All rights reserved.
#
#This file is distributed under the terms of the GNU Lesser General
#Public License, with the special exception on linking described in
#file NEW-LICENSE.
#
#***

env NS_NOLOGGING=1 ../acute-b -definitionslib ../definitions_lib.ac -dumpcompiled 0 -dumpfinal 2 -noabstract_existentials -dumptrace 0 -noshowfocussing -default -noshownames -noprintclos -noshowtrailer -noshowtimes -noprintstepinterval -printcleandeath -production "$@"
