Skip to content

Integration Test Added

Emanuel Ferreira requested to merge dev_pt into master

Integration Test: TASTE model added with respective properties (msc, bsc and obs), in accordance with what is described in the Software Verification Report

Merge request reports