search

eiffel-community / eiffel-remrem-generate

Apache License 2.0
8 stars 70 forks source link

Updated remrem-semantics version to the latest version 0.3.6 #90

Closed xdurvak closed 6 years ago

xdurvak commented 6 years ago

Updated remrem-semantics version to the latest version 0.3.6

coveralls commented 6 years ago

Coverage Status

Coverage remained the same at 75.419% when pulling a5360362ffde4178f5f161d54d5adee3e2f2a82a on xdurvak:master into 1ef0fd689ba2ff7a2e9bc4f3f2b9f9a698dab0fd on Ericsson:master.