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

Mode	Name	Size
-rw-r--r--	Alias.c	498	log plain blame
-rw-r--r--	AliasFunction.c	713	log plain blame
-rw-r--r--	AliasFunctionExit.c	616	log plain blame
-rw-r--r--	BitcastAlias.ll	1040	log plain blame
-rw-r--r--	BitcastAliasMD2U.ll	1058	log plain blame
-rw-r--r--	ByteSwap.c	335	log plain blame
-rw-r--r--	CallToUndefinedExternal.cpp	299	log plain blame
-rw-r--r--	CheckForImpliedValue.c.failing	609	log plain blame
-rw-r--r--	CheckMemoryAccess.c	586	log plain blame
-rw-r--r--	ConstantStruct.ll	1104	log plain blame
-rw-r--r--	CopyOnWrite.c	527	log plain blame
-rw-r--r--	DanglingConcreteReadExpr.c	482	log plain blame
-rw-r--r--	DefineFixedObject.c	316	log plain blame
-rw-r--r--	DoubleFree.c	308	log plain blame
-rw-r--r--	DumpStatesOnHalt.c	390	log plain blame
-rw-r--r--	EntryPoint.c	267	log plain blame
-rw-r--r--	Envp.c	499	log plain blame
-rw-r--r--	ExprLogging.c	1562	log plain blame
-rw-r--r--	ExternalWeakLinkage.c	253	log plain blame
-rw-r--r--	Float.c	439	log plain blame
-rw-r--r--	FloatingPt.c	394	log plain blame
-rw-r--r--	FunctionPointer.c	796	log plain blame
-rw-r--r--	GetElementPtr.ll	958	log plain blame
-rw-r--r--	GetValue.c	402	log plain blame
-rw-r--r--	ImpliedValue.c.failing	4283	log plain blame
-rw-r--r--	InAndOutOfBounds.c	770	log plain blame
-rw-r--r--	IndirectCallToBuiltin.c	319	log plain blame
-rw-r--r--	IndirectCallToExternal.c	301	log plain blame
-rw-r--r--	InsertExtractValue.ll	1114	log plain blame
-rw-r--r--	IntrinsicTrap.ll	832	log plain blame
-rw-r--r--	InvalidBitfieldAccess.c.failing	617	log plain blame
-rw-r--r--	IsSymbolic.c	354	log plain blame
-rw-r--r--	KleeReportError.c	736	log plain blame
-rw-r--r--	LargeReturnTypes.cpp	968	log plain blame
-rw-r--r--	LinkLLVMLib.c	611	log plain blame
-rw-r--r--	LongDouble.cpp	1495	log plain blame
-rw-r--r--	LongDoubleSupport.c	865	log plain blame
-rw-r--r--	LowerSwitch.c	989	log plain blame
-rw-r--r--	MakeConcreteSymbolic.c	513	log plain blame
-rw-r--r--	MakeSymbolicName.c	392	log plain blame
-rw-r--r--	MemoryLimit.c	1664	log plain blame
-rw-r--r--	MultiMkSym.c	1021	log plain blame
-rw-r--r--	MultipleFreeResolution.c	1106	log plain blame
-rw-r--r--	MultipleReadResolution.c	772	log plain blame
-rw-r--r--	MultipleReallocResolution.c	1796	log plain blame
-rw-r--r--	MultipleWriteResolution.c	807	log plain blame
-rw-r--r--	NamedSeedMatching.c	1252	log plain blame
-rw-r--r--	OneFreeError.c	380	log plain blame
-rw-r--r--	OneOutOfBounds.c	392	log plain blame
-rw-r--r--	Optimize.c	489	log plain blame
-rw-r--r--	Overflow.ll	1330	log plain blame
-rw-r--r--	OverflowMul.ll	1333	log plain blame
-rw-r--r--	OverlappedError.c	511	log plain blame
-rw-r--r--	OvershiftCheck.c	739	log plain blame
-rw-r--r--	PreferCex.c	517	log plain blame
-rw-r--r--	RaiseAsm.c	932	log plain blame
-rw-r--r--	Realloc.c	405	log plain blame
-rw-r--r--	ReplayPath.c	791	log plain blame
-rw-r--r--	RewriteEqualities.c	841	log plain blame
-rw-r--r--	Searchers.c	2779	log plain blame
-rw-r--r--	SetForking.c	540	log plain blame
-rw-r--r--	SilentKleeAssume.c	1313	log plain blame
-rw-r--r--	SolverTimeout.c	576	log plain blame
-rw-r--r--	SourceMapping.c	1246	log plain blame
-rw-r--r--	StatesCoveringNew.c	1000	log plain blame
-rw-r--r--	VarArgLongDouble.c	920	log plain blame
-rw-r--r--	Vararg.c	1708	log plain blame
-rw-r--r--	WithLibc.c	487	log plain blame
-rw-r--r--	WriteCov.c	785	log plain blame
-rw-r--r--	_utils._ll	2240	log plain blame
-rw-r--r--	arithmetic-right-overshift-sym-conc.c	1921	log plain blame
-rw-r--r--	consecutive_divide_by_zero.c	981	log plain blame
-rw-r--r--	const_array_opt1.c	916	log plain blame
-rw-r--r--	left-overshift-sym-conc.c	1557	log plain blame
-rw-r--r--	logical-right-overshift-sym-conc.c	1629	log plain blame
-rw-r--r--	srem.c	813	log plain blame
-rw-r--r--	ubsan_signed_overflow.c	748	log plain blame
-rw-r--r--	ubsan_unsigned_overflow.c	764	log plain blame
-rw-r--r--	utils.h	655	log plain blame