head	1.2;
access
	monica
	thoth;
symbols;
locks; strict;
comment	@// @;


1.2
date	94.12.16.02.39.16;	author monica;	state Exp;
branches;
next	1.1;

1.1
date	94.08.25.15.57.47;	author ljr;	state Exp;
branches;
next	;


desc
@@


1.2
log
@changes in contains testing
@
text
@pass
	pass
	pass
	pass
	pass
	pass
	@


1.1
log
@Initial revision
@
text
@d1 7
a7 18

	choice	{ 1, } 
	 result:1

	choice	{ 1,2, } 
	 result:2

	choice	{ 1,2,3, } 
	 result:3

	choice	{ -3,-2,-1,0,1,2,3, } 
	 result:3

	choice	{ -3,-2,-1,0,1,2,3,4, } 
	 result:4

	choice	{ -3, } 
	 result:-3
@
