include all subcontracts for refinement
Feature: verification of contract refinement (obviously only for composite components)
At present, for verifying the contract refinement only the sub-contracts
specified for refinement are given to OCRA.
e.g., lets consider a contract Con on component C
contract Con
assume A
guarantee G
REFINEDBY C.Con1, C.Con2;
But we think that it is better for the ease fo the user to extend this
feature with following:
“If no REFINEDBY contracts are specified then give all the
sub-contracts, i.e. all the contracts of all the sub-components (only
next level) to OCRA ”
(from redmine: issue id 3231, created on 2017-12-11)