Add new parameter for ocra_check_refinement
A new parameter -w
(whole architecture) should be made available in the invocation of the command ocra_check_refinement
.
A new parameter -w
(whole architecture) should be made available in the invocation of the command ocra_check_refinement
.