search

eiffel-community / eiffel-remrem-generate

Apache License 2.0
8 stars 70 forks source link

Uplifted remrem-semantics version #81

Closed sarvesh-devops closed 7 years ago

coveralls commented 7 years ago

Coverage Status

Coverage remained the same at 75.419% when pulling e1f7449e06e089eec5b1e1d6d20dae545aa76f7f on xnagmat:master into 1547149933b94d15aec323c2c2f0a45effc91fdd on Ericsson:master.