442
81%

Ran 17 Mar 2018 10:10PM UTC

Jobs 1

Files 67

Run time 6s

Badge

Embed ▾

pending completion

Build # 442

Build Type

push

travis-ci

Committed by

Robbepop

Commit Message

feat(AST): add TransformEvent to AST transformers

This enhances the entire Transformer trait and module to allow for finer grained simplification procedures.
For example the If-Constraint-Propagation simplification greatly benefits from this enhancement since it requires the additional tracking of entering and leaving of the current inspected AST node for proper management of the simplification steps.
This design also allows for another important enhancement: Post-Processing.
Simplification procedures such as ITE-Lifting (from STP) require a post-processing step to finalize their simplifications after all AST transformations have taken place in an ordinary fashion.

The chosen design to extend the Transformer trait does not break any existing code but enables the enhancements at the same time.

Coverage Stats

5203 of 5713 relevant lines covered (91.07%)

0.91 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	442.1	17 Mar 2018 10:10PM UTC	0	91.07	Travis Job 442.1

Source Files on build 442

Detailed source file information is not available for this build.

Robbepop / stevia / 442
81%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 442

Robbepop / stevia / 442 81%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 442

Robbepop / stevia / 442
81%

README BADGES
x