DatenMetzgerX / ESChecker

96%

master: 96%

LAST BUILD ON BRANCH fix-function-call-in-loop

branch: fix-function-call-in-loop

CHANGE BRANCH

x

Reset

• fix-function-call-in-loop
• PA1-Final
• add-node-5-to-build
• array-type
• arrow-expressions
• cleaneups
• data-flow-analysis
• do-while-statement
• feedback-luc
• finalisierung-report
• fix-this-inside-object-methods
• for-of-statement
• function-declaration-hoisting
• ignore-empty-statements-in-cfg
• improve-documentation
• invocation-of-any-type-values
• master
• more-sophisticated-recursion-detection
• 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 # 242

Build Type

push

travis-ci

Committed by DatenMetzgerX

Commit Message

The cfg node annotation needs to be separate for each analyse run

Instead of annotating the cfg nodes with the type environments,
return the type environments in the infer function. Using the annotation
on the node is problematic in function calls, as multiple function calls
determine the type environment in the exit node.

Run Details

1569 of 1640 relevant lines covered (95.67%)

411.3 hits per line