[Javapathfinder-devel] javapathfinder/examples testchoices.IntChoiceFromStaticVarSet.properties,NONE,1.1

[John P. <joh...@us...>]

Update of /cvsroot/javapathfinder/javapathfinder/examples
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv6226/examples

Added Files:
	testchoices.IntChoiceFromStaticVarSet.properties 
Log Message:
* another example


--- NEW FILE: testchoices.IntChoiceFromStaticVarSet.properties ---

#
# Choice configuration
#

# this is to use -show to confirm 
testchoice.properties = IntChoiceFromStaticVarSet

xTest.class = gov.nasa.jpf.jvm.choice.IntChoiceFromStaticVarSet

xTest.values = IntChoices.ONE, IntChoices.TWO, IntChoices.THREE

yTest.class = gov.nasa.jpf.jvm.choice.IntChoiceFromStaticVarSet

yTest.values = intChoices.FIFTY, IntChoices.ONE

# expected output: (assuming values match names in IntChoices class)
	
#	x is 1
#	y is 50
#	program end
#	y is 1
#	program end
#	x is 2
#	y is 50
#	program end
# 	y is 1
#	program end
#	x is 3
#	y is 50
#	program end
# 	y is 1
#	program end