Gobo Eiffel Project

Update of /cvsroot/gobo-eiffel/gobo/test/example/test
In directory usw-pr-cvs1:/tmp/cvs-serv26214/test/example/test

Modified Files:
	system.xace 
Log Message:
Added system-level options to `gexace'.

Index: system.xace
===================================================================
RCS file: /cvsroot/gobo-eiffel/gobo/test/example/test/system.xace,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -r1.3 -r1.4
*** system.xace	4 Apr 2002 17:11:20 -0000	1.3
--- system.xace	12 Apr 2002 08:33:53 -0000	1.4
***************
*** 4,8 ****
  	<description>
  		system: "Gobo Eiffel Test Examples Tester"
! 		copyright: "Copyright (c) 2001, Eric Bezault and others"
  		license: "Eiffel Forum License v1 (see forum.txt)"
  		date: "$Date$"
--- 4,8 ----
  	<description>
  		system: "Gobo Eiffel Test Examples Tester"
! 		copyright: "Copyright (c) 2001-2002, Eric Bezault and others"
  		license: "Eiffel Forum License v1 (see forum.txt)"
  		date: "$Date$"
***************
*** 13,30 ****
  	<cluster>
  		<option unless="${DEBUG}">
! 			<require enable="false"/>
! 			<ensure enable="false"/>
! 			<invariant enable="false"/>
! 			<loop enable="false"/>
! 			<check enable="false"/>
! 			<optimize enable="true"/>
  		</option>
  		<option if="${DEBUG}">
! 			<require enable="true"/>
! 			<ensure enable="true"/>
! 			<invariant enable="true"/>
! 			<loop enable="true"/>
! 			<check enable="true"/>
! 			<optimize enable="false"/>
  		</option>
  
--- 13,24 ----
  	<cluster>
  		<option unless="${DEBUG}">
! 			<option name="assertion" value="none"/>
! 			<option name="garbage_collector" value="none"/>
! 			<option name="finalize" value="true" unless="${GOBO_EIFFEL}=ve"/>
  		</option>
  		<option if="${DEBUG}">
! 			<option name="assertion" value="all"/>
! 			<option name="garbage_collector" value="none"/>
! 			<option name="finalize" value="false"/>
  		</option>