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

Mode	Name	Size
-rw-r--r--	AddressOfLabels.c	643	log plain blame
-rw-r--r--	AddressOfLabelsSymbolic.c	835	log plain blame
-rw-r--r--	Alias.c	1016	log plain blame
-rw-r--r--	Atomic.c	1360	log plain blame
-rw-r--r--	BFSSearcher.c	449	log plain blame
-rw-r--r--	BFSSearcherAndDFSSearcherInterleaved.c	1328	log plain blame
-rw-r--r--	BitcastAlias.ll	1074	log plain blame
-rw-r--r--	BitcastAliasMD2U.ll	1092	log plain blame
-rw-r--r--	ByteSwap.c	341	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	584	log plain blame
-rw-r--r--	CompressedExprLogging.c	1425	log plain blame
-rw-r--r--	ConstantArray.ll	2055	log plain blame
-rw-r--r--	ConstantStruct.ll	1128	log plain blame
-rw-r--r--	CopyOnWrite.c	530	log plain blame
-rw-r--r--	DanglingConcreteReadExpr.c	488	log plain blame
-rw-r--r--	DefineFixedObject.c	314	log plain blame
-rw-r--r--	DeterministicSwitch.c	958	log plain blame
-rw-r--r--	DivCheck.c	1983	log plain blame
-rw-r--r--	DoubleFree.c	309	log plain blame
-rw-r--r--	DumpStatesOnHalt.c	382	log plain blame
-rw-r--r--	EntryPoint.c	265	log plain blame
-rw-r--r--	Envp.c	497	log plain blame
-rw-r--r--	EscapingFunctions.c	1352	log plain blame
-rw-r--r--	EscapingFunctionsAlias.c	1429	log plain blame
-rw-r--r--	ExitOnErrorType.c	280	log plain blame
-rw-r--r--	ExprLogging.c	1591	log plain blame
-rw-r--r--	ExternalWeakLinkage.c	251	log plain blame
-rw-r--r--	Float.c	437	log plain blame
-rw-r--r--	FloatingPt.c	395	log plain blame
-rw-r--r--	FunctionAlias.c	5505	log plain blame
-rw-r--r--	FunctionAliasExit.c	642	log plain blame
-rw-r--r--	FunctionAliasVarArg.c	2134	log plain blame
-rw-r--r--	FunctionPointer.c	805	log plain blame
-rw-r--r--	GetElementPtr.ll	990	log plain blame
-rw-r--r--	GetValue.c	400	log plain blame
-rw-r--r--	GlobalVariable.ll	1047	log plain blame
-rw-r--r--	ImpliedValue.c.failing	4336	log plain blame
-rw-r--r--	InAndOutOfBounds.c	724	log plain blame
-rw-r--r--	IndirectCallToBuiltin.c	317	log plain blame
-rw-r--r--	IndirectCallToExternal.c	299	log plain blame
-rw-r--r--	InsertExtractValue.ll	1138	log plain blame
-rw-r--r--	InvalidBitfieldAccess.c.failing	617	log plain blame
-rw-r--r--	IsSymbolic.c	365	log plain blame
-rw-r--r--	KleeReportError.c	709	log plain blame
-rw-r--r--	KleeStats.c	733	log plain blame
-rw-r--r--	KleeStatsColumns.test	325	log plain blame
-rw-r--r--	KleeStatsEmpty.test	126	log plain blame
-rw-r--r--	LargeReturnTypes.cpp	1073	log plain blame
-rw-r--r--	LinkLLVMLib.c	643	log plain blame
-rw-r--r--	LoggingInstructions.c	1852	log plain blame
-rw-r--r--	LongDouble.c	1203	log plain blame
-rw-r--r--	LongDoubleSupport.c	866	log plain blame
-rw-r--r--	LowerSwitch.c	954	log plain blame
-rw-r--r--	MakeConcreteSymbolic.c	511	log plain blame
-rw-r--r--	MakeSymbolicAPI.c	1025	log plain blame
-rw-r--r--	MakeSymbolicName.c	390	log plain blame
-rw-r--r--	Memalign.c	334	log plain blame
-rw-r--r--	MemoryLimit.c	1748	log plain blame
-rw-r--r--	MultiMkSym.c	1040	log plain blame
-rw-r--r--	MultipleFreeResolution.c	1115	log plain blame
-rw-r--r--	MultipleReadResolution.c	778	log plain blame
-rw-r--r--	MultipleReallocResolution.c	1802	log plain blame
-rw-r--r--	MultipleWriteResolution.c	813	log plain blame
-rw-r--r--	NamedSeedMatching.c	1251	log plain blame
-rw-r--r--	NoExternalCallsAllowed.c	380	log plain blame
-rw-r--r--	NonSizedGlobals.c	207	log plain blame
-rw-r--r--	OneFreeError.c	340	log plain blame
-rw-r--r--	OneOutOfBounds.c	352	log plain blame
-rw-r--r--	Optimize.c	481	log plain blame
-rw-r--r--	OverlappedError.c	512	log plain blame
-rw-r--r--	OvershiftCheck.c	761	log plain blame
-rw-r--r--	PreferCex.c	525	log plain blame
-rw-r--r--	RaiseAsm.c	977	log plain blame
-rw-r--r--	ReadStringAtAddress.c	866	log plain blame
-rw-r--r--	Realloc.c	443	log plain blame
-rw-r--r--	ReplayPath.c	798	log plain blame
-rw-r--r--	RewriteEqualities.c	939	log plain blame
-rw-r--r--	Searchers.c	2111	log plain blame
-rw-r--r--	SetForking.c	538	log plain blame
-rw-r--r--	ShiftCheck.c	2090	log plain blame
-rw-r--r--	SilentKleeAssume.c	1311	log plain blame
-rw-r--r--	SolverTimeout.c	483	log plain blame
-rw-r--r--	SourceMapping.c	1318	log plain blame
-rw-r--r--	StackOverflow.c	347	log plain blame
-rw-r--r--	VarArg.c	2126	log plain blame
-rw-r--r--	VarArgAlignment.c	2686	log plain blame
-rw-r--r--	VarArgByVal.c	2514	log plain blame
-rw-r--r--	VarArgByValReported.c	1018	log plain blame
-rw-r--r--	VarArgLongDouble.c	921	log plain blame
-rw-r--r--	WithLibc.c	495	log plain blame
-rw-r--r--	WriteCov.c	783	log plain blame
-rw-r--r--	_utils._ll	2312	log plain blame
-rw-r--r--	arithmetic-right-overshift-sym-conc.c	1987	log plain blame
-rw-r--r--	asm_lifting.ll	914	log plain blame
-rw-r--r--	consecutive_divide_by_zero.c	1007	log plain blame
-rw-r--r--	const_array_opt1.c	917	log plain blame
d---------	klee-stats	147	log plain
-rw-r--r--	left-overshift-sym-conc.c	1558	log plain blame
-rw-r--r--	logical-right-overshift-sym-conc.c	1630	log plain blame
-rw-r--r--	srem.c	1284	log plain blame
-rw-r--r--	ubsan_signed_overflow.c	654	log plain blame
-rw-r--r--	ubsan_unsigned_overflow.c	668	log plain blame
-rw-r--r--	utils.h	655	log plain blame