-- Summary --
-- Elapsed time 688.760s --
Ill-formed test files:
   ../tests/l3-large/ackbar-13_ooh_give_you_up.l3.s
   ../tests/l3-large/alaska-void-variable.l3.s
Expected code to compile after typechecking, failed:
   ../tests/l3-large/ackbar-many_args.l3
   ../tests/l3-large/alaska-many-arguments.l3
   ../tests/l3-large/bb-8-compile1.l3
   ../tests/l3-large/bellsprout-return02.l3
   ../tests/l3-large/bergil-lotsoargs.l3
   ../tests/l3-large/beryllium-return01.l3
   ../tests/l3-large/boba-boomgoesthestack.l3
   ../tests/l3-large/bulbasaur-return01.l3
   ../tests/l3-large/bulbasaur-return02.l3
   ../tests/l3-large/c-3p0-sixteenth.l3
   ../tests/l3-large/cadmium-return11.l3
   ../tests/l3-large/caesium-return05.l3
   ../tests/l3-large/caesium-return06.l3
   ../tests/l3-large/caesium-return07.l3
   ../tests/l3-large/california-return-argspilling.l3
   ../tests/l3-large/caterpie-many-arguments.l3
   ../tests/l3-large/cobalt-return10.l3
   ../tests/l3-large/colorado-return05.l3
   ../tests/l3-large/copper-return04.l3
   ../tests/l3-large/cubone-return07.l3
   ../tests/l3-large/faramir-time_bomb.l3
   ../tests/l3-large/finn-div_zero01.l3
   ../tests/l3-large/gastly-cc_div-by-zero_01.l3
   ../tests/l3-large/geodude-exception03.l3
   ../tests/l3-large/georgia-b-many-params.l3
   ../tests/l3-large/gloin-funcarg.l3
   ../tests/l3-large/grimer-money_power_glory.l3
   ../tests/l3-large/grimer-off-to-the-races.l3
   ../tests/l3-large/grimer-ultraviolence.l3
   ../tests/l3-large/han-lotsa-args.l3
   ../tests/l3-large/hawaii-decimal.l3
   ../tests/l3-large/illinois-too_many_args.l3
   ../tests/l3-large/indiana-return07.l3
   ../tests/l3-large/iridium-return02.l3
   ../tests/l3-large/iron-return11.l3
   ../tests/l3-large/jabba-happy.l3
   ../tests/l3-large/jigglypuff-argument_spill.l3
   ../tests/l3-large/jigglypuff-lets_recurse.l3
   ../tests/l3-large/kansas-test03.l3
   ../tests/l3-large/kansas-test06.l3
   ../tests/l3-large/krabby-more-than-6-args-and-lots-of-vars.l3
   ../tests/l3-large/krabby-more-than-6-args-ignore.l3
   ../tests/l3-large/krabby-more-than-6-args.l3
   ../tests/l3-large/krabby-more_than_six_args.l3
   ../tests/l3-large/krabby-more_than_six_args_and_ignore.l3
   ../tests/l3-large/krabby-more_than_six_args_and_lots_of_vars.l3
   ../tests/l3-large/kylo-goes-to-hot-topic.l3
   ../tests/l3-large/kylo-has-an-eight-pack.l3
   ../tests/l3-large/kylo-humongous-wrath-of-the-temps.l3
   ../tests/l3-large/kylo-return.l3
   ../tests/l3-large/kylo-wrath-of-the-temps.l3
   ../tests/l3-large/lando-manyparams.l3
   ../tests/l3-large/lead-12-spilled_args_ret.l3
   ../tests/l3-large/leia-inner_loop.l3
   ../tests/l3-large/lithium-args.l3
   ../tests/l3-large/louisiana-manyargscalls.l3
   ../tests/l3-large/machop-exception_func_param_div_by_zero.l3
   ../tests/l3-large/maine-argsOnStack.l3
   ../tests/l3-large/manganese-return03.l3
   ../tests/l3-large/mankey-j-lotsparams.l3
   ../tests/l3-large/mankey-j-reclotsparams.l3
   ../tests/l3-large/maryland-testw-manyvars.l3
   ../tests/l3-large/maul-compute_5.l3
   ../tests/l3-large/maz-parallel_lines.l3
   ../tests/l3-large/maz-ten_params.l3
   ../tests/l3-large/meowth-thatsright.l3
   ../tests/l3-large/minnesota-09-return-Do-you-want-to-build-a-snowman.l3
   ../tests/l3-large/missouri-return09.l3
   ../tests/l3-large/montana-return-bigfunc.l3
   ../tests/l3-large/nebraska-exception02.l3
   ../tests/l3-large/nebraska-ret05.l3
   ../tests/l3-large/nevada-return-fast.l3
   ../tests/l3-large/newyork-testLargeCall.l3
   ../tests/l3-large/nickel-long_function_call.l3
   ../tests/l3-large/nidoran-thestack.l3
   ../tests/l3-large/nien-twentyargs.l3
   ../tests/l3-large/nien-twentyargsprototype.l3
   ../tests/l3-large/obi-wan-a02_return.l3
   ../tests/l3-large/oddish-fun-arguments.l3
   ../tests/l3-large/ohio-exception-03.l3
   ../tests/l3-large/ohio-porter-hall.l3
   ../tests/l3-large/oklahoma-return03.l3
   ../tests/l3-large/osmium-many-params.l3
   ../tests/l3-large/paras-used-caller-save-registers.l3
   ../tests/l3-large/paras-used-metasyntatic-variables.l3
   ../tests/l3-large/phasma-func-many-params.l3
   ../tests/l3-large/pidgey-return03.l3
   ../tests/l3-large/pikachu-test13.l3
   ../tests/l3-large/pikachu-test4.l3
   ../tests/l3-large/poe-17.l3
   ../tests/l3-large/polonium-void_cleanup.l3
   ../tests/l3-large/psyduck-bagillt.l3
   ../tests/l3-large/psyduck-bethesda.l3
   ../tests/l3-large/radium-ret02.l3
   ../tests/l3-large/rattata-uses-tail-recursive-whip.l3
   ../tests/l3-large/sandshrew-bigbang-stigmorten.l3
   ../tests/l3-large/seel-return_mandel.l3
   ../tests/l3-large/shellder-boolargs.l3
   ../tests/l3-large/silver-return06.l3
   ../tests/l3-large/silver-return07.l3
   ../tests/l3-large/slowpoke-towers.l3
   ../tests/l3-large/smaug-giant.l3
   ../tests/l3-large/snoke-hello_world.l3
   ../tests/l3-large/sodium-eight-args_return.l3
   ../tests/l3-large/squirtle-return-interesting-many-args.l3
   ../tests/l3-large/tangela-test20.l3
   ../tests/l3-large/tentacool-bl-return10.l3
   ../tests/l3-large/tentacool-bl-return8.l3
   ../tests/l3-large/tentacool-bl-return9.l3
   ../tests/l3-large/theoden-manyargs.l3
   ../tests/l3-large/thorin-stackvars.l3
   ../tests/l3-large/tin-return14.l3
   ../tests/l3-large/tungsten-return04.l3
   ../tests/l3-large/uranium-return3.l3
   ../tests/l3-large/vanadium-arggggggggs.l3
   ../tests/l3-large/vanadium-clobber.l3
   ../tests/l3-large/vanadium-tailrecstack.l3
   ../tests/l3-large/virginia-return04.l3
   ../tests/l3-large/virginia-return05.l3
   ../tests/l3-large/washington-stack-attack.l3
   ../tests/l3-large/weedle-return-7args.l3
   ../tests/l3-large/weedle-return-lotsofargs.l3
   ../tests/l3-large/weedle-return-tonsofargs.l3
   ../tests/l3-large/westvirginia-return-args.l3
   ../tests/l3-large/westvirginia-return-mm.l3
   ../tests/l3-large/wisconsin-big-function.l3
   ../tests/l3-large/wormtongue-so_many_args.l3
   ../tests/l3-large/wyoming-return01.l3
   ../tests/l3-large/zirconium-return-liveness.l3
   ../tests/l3-large/zirconium-return-lots-of-args.l3
   ../tests/l3-large/zirconium-return-pass.l3
Expected successful execution, failed:
   ../tests/l3-large/silver-return02.l3
Expected code to parse and typecheck, failed:
   ../tests/l3-large/seel-exn_void.l3
Expected a runtime exception, timed out:
   ../tests/l3-large/greedo-l3-assert.l3
   ../tests/l3-large/ponyta-evalorder0.l3
   ../tests/l3-large/ponyta-evalorder1.l3
Expected successful execution, timed out:
   ../tests/l3-large/arwen-prime-factors.l3
   ../tests/l3-large/greedo-mult.l3
   ../tests/l3-large/missouri-return03.l3
l3-large: passed 3175 / 3316 timed out 6 / 3316