id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
13	erratic behavior in symbolic package	Stephen Siegel	ywei	"Using revision 952, I am getting wrong answers from symbolic package. For example:

Old pc : 0<=X0*-1+3&&0<=X0
Guard : 0<=X0+-1
and of above: 0<=X0*-1+3&&0<=X0

is generated by the following code:
valueFactory.setAssumption(valueFactory.symbolicValue(true));
System.out.println(""Old pc : ""+pathCondition);
System.out.println(""Guard : ""+guardValue);
System.out.println(""and of above: ""+valueFactory.and(pathCondition, guardValue));"	defect	closed	major		symbolic	1.0	fixed