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

Mode	Name	Size
-rw-r--r--	assignment_in_declaration.sol	108	log stats plain blame
-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--	branches_assert_condition_1.sol	210	log stats plain blame
-rw-r--r--	branches_assert_condition_2.sol	301	log stats plain blame
-rw-r--r--	branches_merge_variables_1.sol	202	log stats plain blame
-rw-r--r--	branches_merge_variables_2.sol	257	log stats plain blame
-rw-r--r--	branches_merge_variables_3.sol	274	log stats plain blame
-rw-r--r--	branches_merge_variables_4.sol	286	log stats plain blame
-rw-r--r--	branches_merge_variables_5.sol	259	log stats plain blame
-rw-r--r--	branches_merge_variables_6.sol	259	log stats plain blame
-rw-r--r--	constant_condition_1.sol	272	log stats plain blame
-rw-r--r--	constant_condition_2.sol	291	log stats plain blame
-rw-r--r--	constant_condition_3.sol	256	log stats plain blame
-rw-r--r--	for_loop_1.sol	159	log stats plain blame
-rw-r--r--	for_loop_2.sol	155	log stats plain blame
-rw-r--r--	for_loop_3.sol	165	log stats plain blame
-rw-r--r--	for_loop_4.sol	234	log stats plain blame
-rw-r--r--	for_loop_5.sol	374	log stats plain blame
-rw-r--r--	for_loop_6.sol	374	log stats plain blame
-rw-r--r--	function_call_does_not_clear_local_vars.sol	361	log stats plain blame
d---------	functions	1374	log stats plain
-rw-r--r--	simple_assert.sol	164	log stats plain blame
-rw-r--r--	simple_assert_with_require.sol	119	log stats plain blame
-rw-r--r--	simple_overflow.sol	273	log stats plain blame
-rw-r--r--	smoke_test.sol	47	log stats plain blame
d---------	special	374	log stats plain
-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
d---------	types	45	log stats plain
-rw-r--r--	warn_on_struct.sol	494	log stats plain blame
-rw-r--r--	warn_on_typecast.sol	213	log stats plain blame
-rw-r--r--	ways_to_merge_variables_1.sol	247	log stats plain blame
-rw-r--r--	ways_to_merge_variables_2.sol	247	log stats plain blame
-rw-r--r--	ways_to_merge_variables_3.sol	249	log stats plain blame
-rw-r--r--	while_loop_simple_1.sol	401	log stats plain blame
-rw-r--r--	while_loop_simple_2.sol	189	log stats plain blame
-rw-r--r--	while_loop_simple_3.sol	394	log stats plain blame
-rw-r--r--	while_loop_simple_4.sol	406	log stats plain blame
-rw-r--r--	while_loop_simple_5.sol	423	log stats plain blame