Home » org.overturetool.ide.plugins.features » org.overture.ide.plugins.features.coverageeditor » 2.7.4 » Changes

Overture IDE Eclipse Coverage Editor Feature » 2.7.4

Overture IDE Eclipse Coverage Editor Feature
Version2.7.4compared with

Version Details

2.7.2 2.7.4
Release dateSep 30, 2019Mar 16, 2020
LicensesGPL 3.0GPL 3.0
VulnerabilitiesNoneNone

No dependency changes compared to the selected version.