Passed
Push — master ( a861f0...5756c7 )
by Jan
01:48 queued 11s
created

Changes

A
playground removed
A
playground-xml removed
A
playground-xml1 removed
A
playground-xml2 removed
A
playground1 removed
A
playground-old removed
A
playground-xml1.get_used_def() removed
A
playground-old.Tree.__init__() removed
A
playground-old.evaluateTree() removed
A
playground-old.draw() removed
6.39
▼   -0.18
Test Coverage
99%
▶ ±0%
Head
Jan Rodák  
Merge pull request #15 from Honny1/remove_inappropriate_files_form_the_repository
1 more commit
Base
Jan Rodák  
Merge pull request #14 from Honny1/negation-graph