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

Mode	Name	Size
-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	193	log stats plain blame
-rw-r--r--	functions_identity_as_tuple_fail.sol	248	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