functions « smtCheckerTests « libsolidity « test - dexon-solidity - DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity)

Mode	Name	Size
-rw-r--r--	function_call_does_not_clear_local_vars.sol	270	log stats plain blame
-rw-r--r--	functions_bound_1.sol	285	log stats plain blame
-rw-r--r--	functions_bound_1_fail.sol	348	log stats plain blame
-rw-r--r--	functions_external_1.sol	414	log stats plain blame
-rw-r--r--	functions_external_2.sol	464	log stats plain blame
-rw-r--r--	functions_external_3.sol	522	log stats plain blame
-rw-r--r--	functions_identity_1.sol	183	log stats plain blame
-rw-r--r--	functions_identity_1_fail.sol	246	log stats plain blame
-rw-r--r--	functions_identity_2.sol	250	log stats plain blame
-rw-r--r--	functions_identity_2_fail.sol	314	log stats plain blame
-rw-r--r--	functions_identity_as_tuple.sol	283	log stats plain blame
-rw-r--r--	functions_identity_as_tuple_fail.sol	338	log stats plain blame
-rw-r--r--	functions_library_1.sol	269	log stats plain blame
-rw-r--r--	functions_library_1_fail.sol	332	log stats plain blame
-rw-r--r--	functions_recursive.sol	244	log stats plain blame
-rw-r--r--	functions_recursive_indirect.sol	422	log stats plain blame
-rw-r--r--	functions_storage_var_1.sol	165	log stats plain blame
-rw-r--r--	functions_storage_var_1_fail.sol	229	log stats plain blame
-rw-r--r--	functions_storage_var_2.sol	174	log stats plain blame
-rw-r--r--	functions_storage_var_2_fail.sol	237	log stats plain blame
-rw-r--r--	functions_trivial_condition_for.sol	173	log stats plain blame
-rw-r--r--	functions_trivial_condition_for_only_call.sol	136	log stats plain blame
-rw-r--r--	functions_trivial_condition_if.sol	160	log stats plain blame
-rw-r--r--	functions_trivial_condition_require.sol	161	log stats plain blame
-rw-r--r--	functions_trivial_condition_require_only_call.sol	135	log stats plain blame
-rw-r--r--	functions_trivial_condition_while.sol	176	log stats plain blame
-rw-r--r--	functions_trivial_condition_while_only_call.sol	136	log stats plain blame