mAarnos / Serkr / 79

79

Pull #17

travis-ci

mAarnos 
Added a cmd line option for renaming limit
Pull Request #17: Implemented formula renaming

2764 of 2886 relevant lines covered (95.77%)

5.01 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

97.87
src/cnf/variable_renaming.rs


Build SHA Not Found

The commit SHA "0b0538ad44ce92bb23f702524d44605bb67018e2" was not found in your repository, so the file cannot be loaded. This may be because you posted from a local development environment, or your CI created an ephemeral commit.