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

Mode	Name	Size
-rw-r--r--	AddressOfLabels.c	645	log plain blame
-rw-r--r--	AddressOfLabelsSymbolic.c	837	log plain blame
-rw-r--r--	Alias.c	501	log plain blame
-rw-r--r--	AliasFunction.c	716	log plain blame
-rw-r--r--	AliasFunctionExit.c	619	log plain blame
-rw-r--r--	Atomic.c	1388	log plain blame
-rw-r--r--	BFSSearcher.c	451	log plain blame
-rw-r--r--	BFSSearcherAndDFSSearcherInterleaved.c	1330	log plain blame
-rw-r--r--	BitcastAlias.leq36.ll	1064	log plain blame
-rw-r--r--	BitcastAlias.leq37.ll	1223	log plain blame
-rw-r--r--	BitcastAlias.ll	1270	log plain blame
-rw-r--r--	BitcastAliasMD2U.leq36.ll	1082	log plain blame
-rw-r--r--	BitcastAliasMD2U.leq37.ll	1241	log plain blame
-rw-r--r--	BitcastAliasMD2U.ll	1288	log plain blame
-rw-r--r--	ByteSwap.c	343	log plain blame
-rw-r--r--	CallToUndefinedExternal.cpp	299	log plain blame
-rw-r--r--	CheckForImpliedValue.c.failing	622	log plain blame
-rw-r--r--	CheckMemoryAccess.c	586	log plain blame
-rw-r--r--	CompressedExprLogging.c	1368	log plain blame
-rw-r--r--	ConstExprWithDivZero.ll	843	log plain blame
-rw-r--r--	ConstExprWithOvershift.ll	900	log plain blame
-rw-r--r--	ConstantArray.leq36.ll	1949	log plain blame
-rw-r--r--	ConstantArray.ll	2250	log plain blame
-rw-r--r--	ConstantStruct.leq36.ll	1128	log plain blame
-rw-r--r--	ConstantStruct.ll	1217	log plain blame
-rw-r--r--	CopyOnWrite.c	532	log plain blame
-rw-r--r--	DanglingConcreteReadExpr.c	490	log plain blame
-rw-r--r--	DefineFixedObject.c	316	log plain blame
-rw-r--r--	DeterministicSwitch.c	960	log plain blame
-rw-r--r--	DivCheck.c	1987	log plain blame
-rw-r--r--	DoubleFree.c	311	log plain blame
-rw-r--r--	DumpStatesOnHalt.c	384	log plain blame
-rw-r--r--	EntryPoint.c	267	log plain blame
-rw-r--r--	Envp.c	499	log plain blame
-rw-r--r--	EscapingFunctions.c	1354	log plain blame
-rw-r--r--	EscapingFunctionsAlias.c	1431	log plain blame
-rw-r--r--	ExitOnErrorType.c	281	log plain blame
-rw-r--r--	ExprLogging.c	1593	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	397	log plain blame
-rw-r--r--	FunctionPointer.c	802	log plain blame
-rw-r--r--	GetElementPtr.leq36.ll	982	log plain blame
-rw-r--r--	GetElementPtr.ll	1079	log plain blame
-rw-r--r--	GetValue.c	402	log plain blame
-rw-r--r--	ImpliedValue.c.failing	4332	log plain blame
-rw-r--r--	InAndOutOfBounds.c	726	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.leq36.ll	1138	log plain blame
-rw-r--r--	InsertExtractValue.ll	1227	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	367	log plain blame
-rw-r--r--	KleeReportError.c	711	log plain blame
-rw-r--r--	LargeReturnTypes.cpp	975	log plain blame
-rw-r--r--	LinkLLVMLib.c	647	log plain blame
-rw-r--r--	LoggingInstructions.c	1854	log plain blame
-rw-r--r--	LongDouble.c	1200	log plain blame
-rw-r--r--	LongDoubleSupport.c	868	log plain blame
-rw-r--r--	LowerSwitch.c	956	log plain blame
-rw-r--r--	MakeConcreteSymbolic.c	513	log plain blame
-rw-r--r--	MakeSymbolicAPI.c	1027	log plain blame
-rw-r--r--	MakeSymbolicName.c	392	log plain blame
-rw-r--r--	Memalign.c	336	log plain blame
-rw-r--r--	MemoryLimit.c	1672	log plain blame
-rw-r--r--	MultiMkSym.c	1042	log plain blame
-rw-r--r--	MultipleFreeResolution.c	1117	log plain blame
-rw-r--r--	MultipleReadResolution.c	780	log plain blame
-rw-r--r--	MultipleReallocResolution.c	1804	log plain blame
-rw-r--r--	MultipleWriteResolution.c	815	log plain blame
-rw-r--r--	NamedSeedMatching.c	1252	log plain blame
-rw-r--r--	NoExternalCallsAllowed.c	382	log plain blame
-rw-r--r--	NonSizedGlobals.c	209	log plain blame
-rw-r--r--	OneFreeError.c	342	log plain blame
-rw-r--r--	OneOutOfBounds.c	354	log plain blame
-rw-r--r--	Optimize.c	483	log plain blame
-rw-r--r--	Overflow.leq36.ll	1354	log plain blame
-rw-r--r--	Overflow.ll	1443	log plain blame
-rw-r--r--	OverflowMul.leq36.ll	1357	log plain blame
-rw-r--r--	OverflowMul.ll	1446	log plain blame
-rw-r--r--	OverlappedError.c	514	log plain blame
-rw-r--r--	OvershiftCheck.c	763	log plain blame
-rw-r--r--	PreferCex.c	527	log plain blame
-rw-r--r--	RaiseAsm.c	979	log plain blame
-rw-r--r--	Realloc.c	445	log plain blame
-rw-r--r--	ReplayPath.c	802	log plain blame
-rw-r--r--	RewriteEqualities.c	940	log plain blame
-rw-r--r--	Searchers.c	2113	log plain blame
-rw-r--r--	SetForking.c	540	log plain blame
-rw-r--r--	ShiftCheck.c	2094	log plain blame
-rw-r--r--	SilentKleeAssume.c	1313	log plain blame
-rw-r--r--	SolverTimeout.c	579	log plain blame
-rw-r--r--	SourceMapping.c	1203	log plain blame
-rw-r--r--	StackOverflow.c	349	log plain blame
-rw-r--r--	VarArgLongDouble.c	923	log plain blame
-rw-r--r--	Vararg.c	2116	log plain blame
-rw-r--r--	WithLibc.c	497	log plain blame
-rw-r--r--	WriteCov.c	785	log plain blame
-rw-r--r--	_utils._ll	2440	log plain blame
-rw-r--r--	_utils.leq36._ll	2240	log plain blame
-rw-r--r--	arithmetic-right-overshift-sym-conc.c	1989	log plain blame
-rw-r--r--	consecutive_divide_by_zero.c	1009	log plain blame
-rw-r--r--	const_array_opt1.c	919	log plain blame
-rw-r--r--	left-overshift-sym-conc.c	1560	log plain blame
-rw-r--r--	logical-right-overshift-sym-conc.c	1632	log plain blame
-rw-r--r--	srem.c	816	log plain blame
-rw-r--r--	ubsan_signed_overflow.c	656	log plain blame
-rw-r--r--	ubsan_unsigned_overflow.c	670	log plain blame
-rw-r--r--	utils.h	655	log plain blame