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

Mode	Name	Size
-rw-r--r--	bool_int_mixed_1.sol	168	log stats plain blame
-rw-r--r--	bool_int_mixed_2.sol	177	log stats plain blame
-rw-r--r--	bool_int_mixed_3.sol	444	log stats plain blame
-rw-r--r--	bool_simple_1.sol	171	log stats plain blame
-rw-r--r--	bool_simple_2.sol	185	log stats plain blame
-rw-r--r--	bool_simple_3.sol	155	log stats plain blame
-rw-r--r--	bool_simple_4.sol	180	log stats plain blame
-rw-r--r--	bool_simple_5.sol	134	log stats plain blame
-rw-r--r--	bool_simple_6.sol	169	log stats plain blame
-rw-r--r--	bytes_1.sol	619	log stats plain blame
-rw-r--r--	fixed_bytes_1.sol	317	log stats plain blame
-rw-r--r--	mapping_1.sol	146	log stats plain blame
-rw-r--r--	mapping_1_fail.sol	224	log stats plain blame
-rw-r--r--	mapping_2.sol	201	log stats plain blame
-rw-r--r--	mapping_2d_1.sol	366	log stats plain blame
-rw-r--r--	mapping_2d_1_fail.sol	366	log stats plain blame
-rw-r--r--	mapping_3.sol	177	log stats plain blame
-rw-r--r--	mapping_3d_1.sol	392	log stats plain blame
-rw-r--r--	mapping_3d_1_fail.sol	392	log stats plain blame
-rw-r--r--	mapping_4.sol	215	log stats plain blame
-rw-r--r--	mapping_5.sol	215	log stats plain blame
-rw-r--r--	mapping_aliasing_1.sol	352	log stats plain blame
-rw-r--r--	mapping_as_local_var_1.sol	575	log stats plain blame
-rw-r--r--	mapping_as_parameter_1.sol	377	log stats plain blame
-rw-r--r--	mapping_equal_keys_1.sol	169	log stats plain blame
-rw-r--r--	mapping_equal_keys_2.sol	232	log stats plain blame
-rw-r--r--	mapping_unsupported_key_type_1.sol	619	log stats plain blame
-rw-r--r--	storage_value_vars_1.sol	495	log stats plain blame
-rw-r--r--	storage_value_vars_2.sol	210	log stats plain blame
-rw-r--r--	storage_value_vars_3.sol	560	log stats plain blame
-rw-r--r--	storage_value_vars_4.sol	181	log stats plain blame