The "skip" attribute of the ContractImpl annotation lists interfaces of the class under test that should not be tested.
The "ignore" attribute fo the @ContractImpl annotation lists the test implementations that apply t othe class under test that should not be executed.
However, there is no mechanism to exclude specific tests from test implementations. This is required when classes do not implement all the functionality the test exercises but other tests are applicable.
The "skip" attribute of the ContractImpl annotation lists interfaces of the class under test that should not be tested.
The "ignore" attribute fo the @ContractImpl annotation lists the test implementations that apply t othe class under test that should not be executed.
However, there is no mechanism to exclude specific tests from test implementations. This is required when classes do not implement all the functionality the test exercises but other tests are applicable.