Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Open
fillypenascimento opened this issue Dec 11, 2020 · 0 comments
Labels
bug Something isn't working

Comments

@fillypenascimento
Copy link
Contributor

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.

@fillypenascimento fillypenascimento added the bug Something isn't working label Dec 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant