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

Mode	Name	Size
-rw-r--r--	do_while_1_fail.sol	436	log stats plain blame
-rw-r--r--	do_while_1_false_positives.sol	525	log stats plain blame
-rw-r--r--	for_1_fail.sol	446	log stats plain blame
-rw-r--r--	for_1_false_positive.sol	500	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	255	log stats plain blame
-rw-r--r--	for_loop_6.sol	300	log stats plain blame
-rw-r--r--	for_loop_trivial_condition_1.sol	232	log stats plain blame
-rw-r--r--	for_loop_trivial_condition_2.sol	276	log stats plain blame
-rw-r--r--	for_loop_trivial_condition_3.sol	490	log stats plain blame
-rw-r--r--	for_loop_unreachable_1.sol	232	log stats plain blame
-rw-r--r--	while_1.sol	261	log stats plain blame
-rw-r--r--	while_1_fail.sol	224	log stats plain blame
-rw-r--r--	while_2_fail.sol	243	log stats plain blame
-rw-r--r--	while_loop_simple_1.sol	282	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	275	log stats plain blame
-rw-r--r--	while_loop_simple_4.sol	287	log stats plain blame
-rw-r--r--	while_loop_simple_5.sol	304	log stats plain blame