Feature « test - ~cnx/klee - KLEE fork for patch differentiation testing

Mode	Name	Size
-rw-r--r--	Alias.c	446	log plain blame
-rw-r--r--	AliasFunction.c	542	log plain blame
-rw-r--r--	AliasFunctionExit.c	537	log plain blame
-rw-r--r--	AsmAddresses.c	513	log plain blame
-rw-r--r--	BitcastAlias.ll	989	log plain blame
-rw-r--r--	ByteSwap.c	283	log plain blame
-rw-r--r--	CallToUndefinedExternal.cpp	186	log plain blame
-rw-r--r--	CheckForImpliedValue.c.failing	557	log plain blame
-rw-r--r--	CheckMemoryAccess.c	523	log plain blame
-rw-r--r--	ConstantStruct.ll	1053	log plain blame
-rw-r--r--	CopyOnWrite.c	475	log plain blame
-rw-r--r--	DanglingConcreteReadExpr.c	411	log plain blame
-rw-r--r--	DefineFixedObject.c	253	log plain blame
-rw-r--r--	DoubleFree.c	186	log plain blame
-rw-r--r--	DumpStatesOnHalt.c	214	log plain blame
-rw-r--r--	Envp.c	447	log plain blame
-rw-r--r--	ExprLogging.c	1502	log plain blame
-rw-r--r--	ExternalWeakLinkage.c	201	log plain blame
-rw-r--r--	Float.c	376	log plain blame
-rw-r--r--	FloatingPt.c	342	log plain blame
-rw-r--r--	FunctionPointer.c	744	log plain blame
-rw-r--r--	GetElementPtr.ll	907	log plain blame
-rw-r--r--	GetValue.c	339	log plain blame
-rw-r--r--	ImpliedValue.c.failing	4229	log plain blame
-rw-r--r--	InAndOutOfBounds.c	533	log plain blame
-rw-r--r--	IndirectCallToBuiltin.c	267	log plain blame
-rw-r--r--	IndirectCallToExternal.c	249	log plain blame
-rw-r--r--	InsertExtractValue.ll	1063	log plain blame
-rw-r--r--	IntrinsicTrap.ll	759	log plain blame
-rw-r--r--	InvalidBitfieldAccess.c.failing	565	log plain blame
-rw-r--r--	IsSymbolic.c	302	log plain blame
-rw-r--r--	KleeReportError.c	521	log plain blame
-rw-r--r--	LargeReturnTypes.cpp	726	log plain blame
-rw-r--r--	LongDouble.cpp	1224	log plain blame
-rw-r--r--	LongDoubleSupport.c	813	log plain blame
-rw-r--r--	LowerSwitch.c	880	log plain blame
-rw-r--r--	MakeConcreteSymbolic.c	370	log plain blame
-rw-r--r--	MakeSymbolicName.c	340	log plain blame
-rw-r--r--	MemoryLimit.c	1134	log plain blame
-rw-r--r--	MultipleFreeResolution.c	707	log plain blame
-rw-r--r--	MultipleReadResolution.c	720	log plain blame
-rw-r--r--	MultipleReallocResolution.c	1740	log plain blame
-rw-r--r--	MultipleWriteResolution.c	755	log plain blame
-rw-r--r--	NamedSeedMatching.c	1159	log plain blame
-rw-r--r--	OneFreeError.c	187	log plain blame
-rw-r--r--	OneOutOfBounds.c	187	log plain blame
-rw-r--r--	Optimize.c	437	log plain blame
-rw-r--r--	Overflow.ll	1279	log plain blame
-rw-r--r--	OverflowMul.ll	1282	log plain blame
-rw-r--r--	OverlappedError.c	455	log plain blame
-rw-r--r--	PreferCex.c	410	log plain blame
-rw-r--r--	RaiseAsm.c	880	log plain blame
-rw-r--r--	Realloc.c	359	log plain blame
-rw-r--r--	ReplayPath.c	678	log plain blame
-rw-r--r--	Searchers.c	1843	log plain blame
-rw-r--r--	SetForking.c	477	log plain blame
-rw-r--r--	SolverTimeout.c	370	log plain blame
-rw-r--r--	Vararg.c	1654	log plain blame
-rw-r--r--	WithLibc.c	435	log plain blame
-rw-r--r--	WriteCov.c	717	log plain blame
-rw-r--r--	_utils._ll	2240	log plain blame
-rw-r--r--	const_array_opt1.c	864	log plain blame
-rw-r--r--	dg.exp	95	log plain blame
-rw-r--r--	utils.h	655	log plain blame