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

Mode	Name	Size
-rw-r--r--	001_smoke.test.sol	47	log stats plain blame
-rw-r--r--	002_simple_overflow.sol	273	log stats plain blame
-rw-r--r--	003_warn_on_typecast.sol	213	log stats plain blame
-rw-r--r--	004_warn_on_struct.sol	494	log stats plain blame
-rw-r--r--	005_simple_assert.sol	164	log stats plain blame
-rw-r--r--	006_simple_assert_with_require.sol	119	log stats plain blame
-rw-r--r--	007_assignment_in_declaration.sol	108	log stats plain blame
-rw-r--r--	008_function_call_does_not_clear_local_vars.sol	361	log stats plain blame
-rw-r--r--	009_branches_merge_variables.sol	202	log stats plain blame
-rw-r--r--	010_branches_merge_variables.sol	257	log stats plain blame
-rw-r--r--	011_branches_merge_variables.sol	274	log stats plain blame
-rw-r--r--	012_branches_merge_variables.sol	286	log stats plain blame
-rw-r--r--	013_branches_merge_variables.sol	259	log stats plain blame
-rw-r--r--	014_branches_merge_variables.sol	259	log stats plain blame
-rw-r--r--	015_branches_assert_condition.sol	210	log stats plain blame
-rw-r--r--	016_branches_assert_condition.sol	301	log stats plain blame
-rw-r--r--	017_ways_to_merge_variables.sol	247	log stats plain blame
-rw-r--r--	018_ways_to_merge_variables.sol	247	log stats plain blame
-rw-r--r--	019_ways_to_merge_variables.sol	249	log stats plain blame
-rw-r--r--	020_bool_simple.sol	171	log stats plain blame
-rw-r--r--	021_bool_simple.sol	185	log stats plain blame
-rw-r--r--	022_bool_simple.sol	155	log stats plain blame
-rw-r--r--	023_bool_simple.sol	180	log stats plain blame
-rw-r--r--	024_bool_simple.sol	134	log stats plain blame
-rw-r--r--	025_bool_simple.sol	169	log stats plain blame
-rw-r--r--	026_bool_int_mixed.sol	168	log stats plain blame
-rw-r--r--	027_bool_int_mixed.sol	177	log stats plain blame
-rw-r--r--	028_bool_int_mixed.sol	444	log stats plain blame
-rw-r--r--	029_storage_value_vars.sol	495	log stats plain blame
-rw-r--r--	030_storage_value_vars.sol	210	log stats plain blame
-rw-r--r--	031_storage_value_vars.sol	560	log stats plain blame
-rw-r--r--	032_storage_value_vars.sol	181	log stats plain blame
-rw-r--r--	033_while_loop_simple.sol	401	log stats plain blame
-rw-r--r--	034_while_loop_simple.sol	189	log stats plain blame
-rw-r--r--	035_while_loop_simple.sol	394	log stats plain blame
-rw-r--r--	036_while_loop_simple.sol	406	log stats plain blame
-rw-r--r--	037_while_loop_simple.sol	423	log stats plain blame
-rw-r--r--	038_constant_condition.sol	272	log stats plain blame
-rw-r--r--	039_constant_condition.sol	291	log stats plain blame
-rw-r--r--	040_constant_condition.sol	256	log stats plain blame
-rw-r--r--	041_for_loop.sol	159	log stats plain blame
-rw-r--r--	042_for_loop.sol	155	log stats plain blame
-rw-r--r--	043_for_loop.sol	165	log stats plain blame
-rw-r--r--	044_for_loop.sol	234	log stats plain blame
-rw-r--r--	045_for_loop.sol	374	log stats plain blame
-rw-r--r--	046_for_loop.sol	374	log stats plain blame
d---------	functions	1374	log stats plain
d---------	special	374	log stats plain
d---------	types	45	log stats plain