====
STARTING TESTING
2018-12-18 22:31:25.751384


FAILED TESTS: 
 fail-dead6, fail-expr8, fail-expr9, fail-action1, test-for, fail-dead5, fail-dead4, fail-action2, test-prim-assignment, fail-dead1, fail-dead3, fail-dead2, test-if, test-return, fail-assign9, test-print, fail-assign8, fail-for2, fail-assign6, test-func, fail-assign7, fail-for3, fail-for1, fail-assign5, fail-assign4, fail-for4, fail-assign1, test-while1, fail-for5, fail-assign3, fail-assign2, test-while2, fail-for6, fail-assign12, fail-func4, fail-expr1, fail-func5, fail-assign11, test-arithmetic, fail-func7, fail-expr2, fail-expr3, fail-func6, fail-assign10, fail-func2, test-world, fail-expr7, fail-expr6, fail-contract1, fail-func3, fail-func1, fail-contract3, fail-expr4, fail-expr5, fail-contract2
PASSED TESTS: 
 fail-while
Successes : 1, Failures: 55

ENDED TESTING 
==== 

====
STARTING TESTING
2018-12-19 00:46:10.857834


FAILED TESTS: 
 test-for, test-prim-assignment, test-if, test-return, test-print, test-func, test-while1, test-while2, test-arithmetic, test-world
PASSED TESTS: 
 fail-dead6, fail-expr8, fail-expr9, fail-action1, fail-dead5, fail-dead4, fail-action2, fail-dead1, fail-dead3, fail-dead2, fail-while, fail-assign9, fail-assign8, fail-for2, fail-assign6, fail-assign7, fail-for3, fail-for1, fail-assign5, fail-assign4, fail-for4, fail-assign1, fail-for5, fail-assign3, fail-assign2, fail-for6, fail-assign12, fail-func4, fail-expr1, fail-func5, fail-assign11, fail-func7, fail-expr2, fail-expr3, fail-func6, fail-assign10, fail-func2, fail-expr7, fail-expr6, fail-contract1, fail-func3, fail-func1, fail-contract3, fail-expr4, fail-expr5, fail-contract2
Successes : 46, Failures: 10

ENDED TESTING 
==== 

