Skip to content

Tests for some Android-cc configurations are failing for AlgorithmParameters.ref #63

@fillypenascimento

Description

@fillypenascimento

On branch add-test I have added the test resource structure for Android-cc.

Test cases testAndroidCc0116 and testAndroidCc25plus in MetaCrySLGeneratorTest are failing when they try to apply the refinements associated with the AlgorithmParameters refinement for version 10plus of Android-cc (br.unb.cic.mcsl.tests/test-resources/android-cc/10plus/AlgorithmParameters.ref); so, every configuration that applies this refinement causes the generator test to fail.

Removing this refinement parent directory load expression (load "10plus/") from the configurations in which they are applied (/android-cc/config/Android0116.config and /android-cc/config/Android25plus.config) makes previous cited tests run. When using individual references for each refinement in this folder (e.g. load "10plus/Cipher.ref"), the error occurred only when referring to load "10plus/AlgorithmParameters.ref", what makes me believe that the problem is happening specifically for this refinement.

The content of the cited refinement is:

SPEC AlgorithmParameters REFINES java.security.AlgorithmParameters {
	define algorithm = {"BLOWFISH"};
	
	add constraint alg in {"BLOWFISH"} => preparedIV[params];
}

Could not identify what is causing these tests to fail yet.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions