DatenMetzgerX / ESChecker

97%

master: 96%

LAST BUILD ON BRANCH more-sophisticated-recursion-detection

branch: more-sophisticated-recursion-detection

CHANGE BRANCH

x

Reset

• more-sophisticated-recursion-detection
• PA1-Final
• add-node-5-to-build
• array-type
• arrow-expressions
• cleaneups
• data-flow-analysis
• do-while-statement
• feedback-luc
• finalisierung-report
• fix-function-call-in-loop
• fix-this-inside-object-methods
• for-of-statement
• function-declaration-hoisting
• ignore-empty-statements-in-cfg
• improve-documentation
• invocation-of-any-type-values
• master
• npm-package
• outline
• rename-specs-to-spec
• shrinkwrap-dependencies
• string-built-in-methods
• support-arrow-functions-with-expression-body
• throw-statement
• type-inference-call-expression
• type-inference-cleanups
• type-inference-for-statement
• type-inference-if-statements
• type-inference-record
• v0.0.2
• v0.0.3
• v0.0.4
• v0.0.5

Build # 157

Build Type

push

travis-ci

Committed by DatenMetzgerX

Commit Message

Implement a more sophistic recursion detection

This recursion detection tries to figure out if a previous call
used exactly the same arguments. If this is the case, then it can
be expected that both calls will have the same return type. So instead
of evaluating the function again, use the same type variable as return
type as the previous call does. If the previous call completes, then
the return type is substituted.

Run Details

1185 of 1225 relevant lines covered (96.73%)

156.05 hits per line