Commit 82f5ad3b authored by Filip Reaboi's avatar Filip Reaboi
Browse files

GREEN

refs 3241
parent ff8b877c
ParameterEntryTreeViewerEditingSupport.java 759d5a5462aef5ec2ccd5e0b61b5858d3196145a YELLOW
ParameterEntryTreeViewerLabelProvider.java c6cd26de2d483a43f013893d0feff158e7cdb1bf YELLOW
ParameterSourceElementTreeViewerEditingSupport.java ec180b48e1cb32068c9eab5d60dd4b35fb91899c YELLOW
ParameterSourceElementTreeViewerLabelProvider.java e2dbecb997ee8e283cd6eb9f91a882a8ec7b75e9 YELLOW
ParameterTableTreeViewerManager.java d1205500f59668b6b2083295bdade48844bd60f8 YELLOW
TreeViewerCheckBoxEditingSupport.java ae801bf9e495b983774224444549cfc8c26fee58 YELLOW
TreeViewerCheckBoxLabelProvider.java 6cb338ada7c286ae7aaedc3a9f326136571daf81 YELLOW
TreeViewerContentProvider.java 6b97e361c3c8a633eb29963d44f7d4b3a9b9089a YELLOW
TreeViewerFirstColumnLabelProvider.java 58071eb18cad8bf7c48beffda449f6eef22906a3 YELLOW
TreeViewerManager.java 8c5f63f46322abd0946c5f80ab6fc356ae4bbe73 YELLOW
ParameterEntryTreeViewerEditingSupport.java 759d5a5462aef5ec2ccd5e0b61b5858d3196145a GREEN
ParameterEntryTreeViewerLabelProvider.java c6cd26de2d483a43f013893d0feff158e7cdb1bf GREEN
ParameterSourceElementTreeViewerEditingSupport.java ec180b48e1cb32068c9eab5d60dd4b35fb91899c GREEN
ParameterSourceElementTreeViewerLabelProvider.java e2dbecb997ee8e283cd6eb9f91a882a8ec7b75e9 GREEN
ParameterTableTreeViewerManager.java d1205500f59668b6b2083295bdade48844bd60f8 GREEN
TreeViewerCheckBoxEditingSupport.java ae801bf9e495b983774224444549cfc8c26fee58 GREEN
TreeViewerCheckBoxLabelProvider.java 6cb338ada7c286ae7aaedc3a9f326136571daf81 GREEN
TreeViewerContentProvider.java 6b97e361c3c8a633eb29963d44f7d4b3a9b9089a GREEN
TreeViewerFirstColumnLabelProvider.java 58071eb18cad8bf7c48beffda449f6eef22906a3 GREEN
TreeViewerManager.java 8c5f63f46322abd0946c5f80ab6fc356ae4bbe73 GREEN
AllocationTableCollectionHandler.java 04c8fada48a27b790f79c9e0201d970a3c859d48 YELLOW
AllocationTableCollectionHandler.java 04c8fada48a27b790f79c9e0201d970a3c859d48 GREEN
PrototypeProvider.java dca1f17e25aeddb75d97ee391db68593d8ba8bf7 YELLOW
PrototypeProvider.java dca1f17e25aeddb75d97ee391db68593d8ba8bf7 GREEN
AF3AllocationActivator.java db64a468f2e3079907f0c82be9c675ef3932f786 GREEN
IAllocationService.java 8c6c1847fb20c937239fa1095736032bd71e86b6 YELLOW
IAllocationService.java 8c6c1847fb20c937239fa1095736032bd71e86b6 GREEN
AF3AllocationFactoryImplCustom.java 46630be40ab1aa52cd8312c2abac7572cef06f41 GREEN
AllocationEntryStaticImpl.java c32ceaafa60123f19e852b63860e62613ed98802 YELLOW
AllocationTableCollectionStaticImpl.java c8c413bf4c09cbba4bf1b47a86b693b5417b4062 YELLOW
AllocationTableStaticImpl.java 7acbe1b798a25908a23c30602a9929cc6f194663 YELLOW
ParameterEntryStaticImpl.java 06582395715b198d2ffbfe0bafb81f10897a3149 YELLOW
ParameterTableStaticImpl.java cd90fc207370734ea590bdabc65a30efa8cb6e79 YELLOW
AllocationEntryStaticImpl.java c32ceaafa60123f19e852b63860e62613ed98802 GREEN
AllocationTableCollectionStaticImpl.java c8c413bf4c09cbba4bf1b47a86b693b5417b4062 GREEN
AllocationTableStaticImpl.java 7acbe1b798a25908a23c30602a9929cc6f194663 GREEN
ParameterEntryStaticImpl.java 06582395715b198d2ffbfe0bafb81f10897a3149 GREEN
ParameterTableStaticImpl.java cd90fc207370734ea590bdabc65a30efa8cb6e79 GREEN
......@@ -12,4 +12,4 @@ ResolveNoVal.java 2d7727f4afaef58a54314f5a4d900e47bff9caa0 GREEN
StandaloneBooleanVarToFunctionCall.java 7d5c7458131b6c3bc82042bdbeec6973c2cece7d GREEN
ToNuSMVComponent.java 52f75f473a12019e81054da0eb17c0ba2aeb9351 GREEN
ToNuSMVDataDictionary.java 3b44b3b3230cdf44d2b167996a7d8eb871f0ed07 GREEN
ToNuSMVExpression.java d97e5860451ac72abf829a482f159a42e6c0d047 YELLOW
ToNuSMVExpression.java d97e5860451ac72abf829a482f159a42e6c0d047 GREEN
AuthorConstraint.java e0212e6ec7dc0b0669419d675702aac037d8724c YELLOW
AuthorConstraint.java e0212e6ec7dc0b0669419d675702aac037d8724c GREEN
ComponentExistsConstraint.java cb6540920ec77d3f6781b0193300cfa500cb1340 GREEN
ComponentNameMeaningfulConstraint.java abbcff7e34221a520c700a007100723fa694e5fa YELLOW
ComponentPackageExistsConstraint.java 64a1d2ef0f1ef9f2541e0c3ded3645c9587dbec6 YELLOW
ComponentToRequirementTraceExistsConstraint.java 1bf1b2d4f6778942a3a5b7d05b7be88c69508875 YELLOW
DescriptionAndOrConstraint.java 6152205018f7cecae45f777593aaa83f37dc702d YELLOW
DescriptionConstraint.java 49d17671515878d136660e772cd669ae3dfc09bc YELLOW
EveryDefinedSignalIsUsed.java 9df1a91ac54ecdaf59de21d6746e914717c127c4 YELLOW
EverySignalUsedIsDefined.java 286d7cdd51f13aa4cc147bbbc3d40b9a8ad486fd YELLOW
FunctionalAspectsHaveNonFunctionalAspectsConstraint.java dc475d2a4dd107d345c46fb74694bce0392a2456 YELLOW
ComponentNameMeaningfulConstraint.java abbcff7e34221a520c700a007100723fa694e5fa GREEN
ComponentPackageExistsConstraint.java 64a1d2ef0f1ef9f2541e0c3ded3645c9587dbec6 GREEN
ComponentToRequirementTraceExistsConstraint.java 1bf1b2d4f6778942a3a5b7d05b7be88c69508875 GREEN
DescriptionAndOrConstraint.java 6152205018f7cecae45f777593aaa83f37dc702d GREEN
DescriptionConstraint.java 49d17671515878d136660e772cd669ae3dfc09bc GREEN
EveryDefinedSignalIsUsed.java 9df1a91ac54ecdaf59de21d6746e914717c127c4 GREEN
EverySignalUsedIsDefined.java 286d7cdd51f13aa4cc147bbbc3d40b9a8ad486fd GREEN
FunctionalAspectsHaveNonFunctionalAspectsConstraint.java dc475d2a4dd107d345c46fb74694bce0392a2456 GREEN
FunctionalReqsHaveOneNonFunctionalReq.java 15da1e8f36c86bff0e20562c309a700d7249c66a RED
GlossaryTermsDefinitionConstraint.java c3db5c30c77fc2e24f9e0da3459d9bdd74f6e447 YELLOW
IDConstraint.java e281959bf88c6deed9aa224efff915b3cbbc3674 YELLOW
IdentifiedInputOutputDefinedConstraint.java f9ae095dcf71ad0bd4738d0852874fb900b4e693 YELLOW
MultipleAspectsConstraint.java b5eee70fefa4618db64caf743f79e363a1ac8142 YELLOW
NameConstraint.java f9039a21df2b4045bdeb377923b72ed2c8101a31 YELLOW
NonFunctionalAspectsHaveFunctionalAspectsConstraint.java 897f6ec17e84cab056015ff1670583dc7d84b088 YELLOW
NonFunctionalReqsHaveExactlyOneFunctionalReq.java 333f9a5e4f8dadec48397ce0c8a123e12cbae687 YELLOW
OnlyOneSILConstraint.java d3aa4e1c2f3c41d2841a652a96ec05c39a21e885 YELLOW
ParameterTypeConstraint.java d869e82b3d9958beb7a72f94df8eaf11790d0081 YELLOW
GlossaryTermsDefinitionConstraint.java c3db5c30c77fc2e24f9e0da3459d9bdd74f6e447 GREEN
IDConstraint.java e281959bf88c6deed9aa224efff915b3cbbc3674 GREEN
IdentifiedInputOutputDefinedConstraint.java f9ae095dcf71ad0bd4738d0852874fb900b4e693 GREEN
MultipleAspectsConstraint.java b5eee70fefa4618db64caf743f79e363a1ac8142 GREEN
NameConstraint.java f9039a21df2b4045bdeb377923b72ed2c8101a31 GREEN
NonFunctionalAspectsHaveFunctionalAspectsConstraint.java 897f6ec17e84cab056015ff1670583dc7d84b088 GREEN
NonFunctionalReqsHaveExactlyOneFunctionalReq.java 333f9a5e4f8dadec48397ce0c8a123e12cbae687 GREEN
OnlyOneSILConstraint.java d3aa4e1c2f3c41d2841a652a96ec05c39a21e885 GREEN
ParameterTypeConstraint.java d869e82b3d9958beb7a72f94df8eaf11790d0081 GREEN
PortsNameMeaningfulConstraint.java 240c41916c3aa9ee9fa300ac6d503e989ad4c78e RED
RationaleConstraint.java 77c2c6248647027e4eefd47a939bfef97b4e8366 YELLOW
RequirementConstraintGroup.java a6d5759a2d786d9d91e720f7bf7443027f8e1df3 YELLOW
RequirementContainsTestSuiteConstraint.java 6d791fff47e143c11b3cc86e40007edba118669b YELLOW
RequirementExistsConstraint.java b912114cd3199a23942289f5f30d76f6e198d76e YELLOW
RequirementImplementedCorrectlyConstraint.java e1a73eb8a05e64a3f4c32f4035c4fc9f809604b8 YELLOW
RationaleConstraint.java 77c2c6248647027e4eefd47a939bfef97b4e8366 GREEN
RequirementConstraintGroup.java a6d5759a2d786d9d91e720f7bf7443027f8e1df3 GREEN
RequirementContainsTestSuiteConstraint.java 6d791fff47e143c11b3cc86e40007edba118669b GREEN
RequirementExistsConstraint.java b912114cd3199a23942289f5f30d76f6e198d76e GREEN
RequirementImplementedCorrectlyConstraint.java e1a73eb8a05e64a3f4c32f4035c4fc9f809604b8 GREEN
ReviewConstraint.java 4f0c4ae6e72c0d521f60acb018f09d0cd042cdad GREEN
ReviewNonConflictingConstraint.java ef31f6516a522ddd85dedd9dbb390bbd6d5ceb6d GREEN
ReviewUnambiguousConstraint.java 6f0c725a1acaef4e19c22b79c5c8810ea09e1433 GREEN
ReviewVerifiableConstraint.java 602bd4509377c6fdd10c9e1f4c19101c42a55005 GREEN
SignalConstraints.java fa09d1c64e86c2997367d63b5fb77b1307e16f3e RED
SourceConstraint.java 974d5c304e5b0396172aace75d4e8b5c8d33cab9 YELLOW
SourceConstraint.java 974d5c304e5b0396172aace75d4e8b5c8d33cab9 GREEN
TraceConstraint.java 949f1fe80773f9b42786470ea8d5a820edcac934 YELLOW
TraceNotEmptyConstraint.java 812bf7d33092fea524a8f9a74a1b0fcd083fcbb5 RED
ComponentToExecutionUnitAllocationTableStaticImpl.java 5da0db9f21c9c50e1df45861974c4a87727ff7a0 YELLOW
TaskToExecutionUnitAllocationTableStaticImpl.java 4ff841d1b95a1bf4fd3cc8e89b30a001aed24354 YELLOW
TaskWcetTableStaticImpl.java a0da8f3786ee22546a785e642022816e8869db2a YELLOW
ComponentToExecutionUnitAllocationTableStaticImpl.java 5da0db9f21c9c50e1df45861974c4a87727ff7a0 GREEN
ArchitectureDomainLabelStaticImpl.java a9b8310b87ef0e6b2e321c2b0c7ed50a04e51b7c GREEN
ExecutionUnitSpeedStaticImpl.java 53e6f8456caeb1ec77909659802921345cec62f5 GREEN
PlatformArchitectureElementTypeLabelStaticImpl.java 1e2c39066a2bfef3e66a81bc445182a5f789c0f7 YELLOW
PlatformArchitectureElementTypeLabelStaticImpl.java 1e2c39066a2bfef3e66a81bc445182a5f789c0f7 GREEN
PlatformArchitectureUtils.java 4cfe206381070b58ef6f1cc8c51182ab0ab64444 YELLOW
PlatformModelElementFactory.java 1e3d1d7e2dc5d73c9706f3c389cef079e20359e1 YELLOW
PlatformArchitectureUtils.java 4cfe206381070b58ef6f1cc8c51182ab0ab64444 GREEN
PlatformModelElementFactory.java 1e3d1d7e2dc5d73c9706f3c389cef079e20359e1 GREEN
HwComplexityValueProvider.java 166fb7e1c381487a151f15314f4e01a3c42d6b47 YELLOW
PmfhSafetyValueProvider.java 87d712f60b96e7399bf8a774887bf352b652a21d GREEN
ProbabilityFailuresDemandValueProvider.java 8a7799e68e213065944e93c8424c0183674bd9d2 YELLOW
ProbabilityFailuresHourValueProvider.java c85d1587d6642a2188418371f022b23b6a9b509d YELLOW
SafetyIntegrityLevelValueProvider.java b04c11d882cb8edc78442847b54c1f02d353a698 YELLOW
ProbabilityFailuresDemandValueProvider.java 8a7799e68e213065944e93c8424c0183674bd9d2 GREEN
ProbabilityFailuresHourValueProvider.java c85d1587d6642a2188418371f022b23b6a9b509d GREEN
SafetyIntegrityLevelValueProvider.java b04c11d882cb8edc78442847b54c1f02d353a698 GREEN
AF3SpecificationUIActivator.java 86bf3fd311c405aa57bf07a4d8575da72021f612 YELLOW
AF3SpecificationUIActivator.java 86bf3fd311c405aa57bf07a4d8575da72021f612 GREEN
TraceCompositor.java e135c937a25d8a1741898abf7ef5d9be17b6b102 YELLOW
TraceCompositor.java e135c937a25d8a1741898abf7ef5d9be17b6b102 GREEN
AdmissibleNoValUI.java 7ff49db8a19cde27f04536529b86994b4bf088ba YELLOW
BoundsConstraintUI.java 38d1bd427dcc932346fefafe697eda025680252a YELLOW
AdmissibleNoValUI.java 7ff49db8a19cde27f04536529b86994b4bf088ba GREEN
BoundsConstraintUI.java 38d1bd427dcc932346fefafe697eda025680252a GREEN
ContractConstraintUI.java 214d7db2e9e9527b2101c46e205f7ba0a6e78410 GREEN
DeterminismConstraintUI.java 9c9d01dd9799ccc5823eb746b6b7db86140a05f3 YELLOW
DeterminismConstraintUI.java 9c9d01dd9799ccc5823eb746b6b7db86140a05f3 GREEN
InterfaceTraceMatchConstraintUI.java 2826fbd209db70d5c20c652bd7d3739371a9003d GREEN
ReachabilityConstraintUI.java d01410ff690388b64f365b7e7a44c51a6b699582 YELLOW
TLSpecificationConstraintUI.java a04f266a659293d9d966047398f0d8d596c3b992 YELLOW
ReachabilityConstraintUI.java d01410ff690388b64f365b7e7a44c51a6b699582 GREEN
TLSpecificationConstraintUI.java a04f266a659293d9d966047398f0d8d596c3b992 GREEN
TopComponentSignalsConstraintUI.java 30c2a7e40b96a4a3bc112ddaa9cf94be533637f3 GREEN
TraceSelectionDialog.java 09a6229b47563ee677abdf4bf52eb35c82041b91 GREEN
CodeSpecVVDashboard.java 69a263a5d71008fadb0ced6cb05bc2b62395575f GREEN
CodeSpecVVDashboardEditorBinding.java 86398a6bda20eb532b76c31e61eaceae51e17d4d GREEN
ListEditorSection.java d09d331040c331224fdba37a815b13deca2f73bc GREEN
NonAtomicComponentVVDashboard.java cf00860cfde8ae666e1967ae100c31fd1a847d85 YELLOW
NonAtomicComponentVVDashboard.java cf00860cfde8ae666e1967ae100c31fd1a847d85 GREEN
NonAtomicComponentVVDashboardEditorBinding.java a0fcc91418a506463bd256fc7482bf4657809426 GREEN
RequirementVVDashboard.java b99428a26586b3af021abe7bc953dd9b09fc8d47 GREEN
RequirementVVDashboardBinding.java 275b00aba4e93440418ccaeea3041e0390dd0c01 GREEN
StateAutomatonVVDashboard.java 06ec05b7832a302f0d4aa33d1822e821623e0572 YELLOW
StateAutomatonVVDashboard.java 06ec05b7832a302f0d4aa33d1822e821623e0572 GREEN
StateAutomatonVVDashboardEditorBinding.java a1996b84336eb5dcf04ec52161a8955a5c03196c GREEN
VVDashboardBase.java e30d15ca6a51cd1348e13c9f6689c9175d97d5ab GREEN
AF3SpecificationActivator.java 71c3412d74c7f9a1c9a0916d0a284ad9e9c4120e YELLOW
AF3SpecificationActivator.java 71c3412d74c7f9a1c9a0916d0a284ad9e9c4120e GREEN
AbstractFormalVerificationConstraint.java aa88d27c8f9c0934f4bfb6ab351ef9784c56b61a RED
AdmissibleNoVALConstraint.java 0df3f404dc339332857da27efc3dcf8a61f84854 YELLOW
AdmissibleNoVALConstraint.java 0df3f404dc339332857da27efc3dcf8a61f84854 GREEN
BoundsConstraint.java 78501d08c5213eb06520d8642da77e2abc9e09bd RED
ContractConstraint.java 893d78f924caef6f9b2cf1f0f34f54bee6c694de RED
DeterminismConstraint.java b048bd90ae3e068eb963b0cd227d1bc2366e6ddf RED
FailedNoValAdmin.java c29f3aea4b56aa30c90b890f91e49d0f1d2d7465 YELLOW
InterfaceTraceMatchConstraint.java becb05e4245f95dcc871d8670c047bdfc2822451 YELLOW
FailedNoValAdmin.java c29f3aea4b56aa30c90b890f91e49d0f1d2d7465 GREEN
InterfaceTraceMatchConstraint.java becb05e4245f95dcc871d8670c047bdfc2822451 GREEN
ReachabilityConstraint.java 247b6c1defb4ce6635b71f5d36e7184512694c34 RED
StateAutomatonConstraintBase.java 632782cb5949e5a530a612bd09a71d135be66a90 YELLOW
TLSpecificationConstraint.java a4e308eb9b3f78df39f0650ac4305571c828a2f0 RED
......
ArrayValueGenerator.java dcd22903b933d991f5a39a14632b84363a2cda41 RED
BasicTypeValueGenerator.java d81984108325a822cc824773b2626c2044662820 YELLOW
BooleanValueGenerator.java 9da4ef8c5de18b8cb138c73b493a2dbaa4bd1f0e YELLOW
BasicTypeValueGenerator.java d81984108325a822cc824773b2626c2044662820 GREEN
BooleanValueGenerator.java 9da4ef8c5de18b8cb138c73b493a2dbaa4bd1f0e GREEN
CounterExampleState.java 46df8bbd0c5892ee0b5c0bb1be90fbc73cce9779 GREEN
CounterExampleUtils.java ca791d31c6b57c834bab4b97478170cba15cfaff RED
EnumValueGenerator.java be99f7cad70767a16734fd48c07212f6b7473c84 RED
IPortValueGenerator.java c8724afc977e1962108b24f8cc6571ef2b40077f GREEN
IntegerValueGenerator.java c56be38692804f13bb93a940a8b86f31ca604493 YELLOW
NoValHandledValueGenerator.java b063f84aafbebe6aec29b2ff2ff7e5777ce6aaf2 YELLOW
IntegerValueGenerator.java c56be38692804f13bb93a940a8b86f31ca604493 GREEN
NoValHandledValueGenerator.java b063f84aafbebe6aec29b2ff2ff7e5777ce6aaf2 GREEN
PortValueGeneratorBase.java 7c2c16a7027e2e96aa9e6eea8db000c98c33c99e GREEN
StructureValueGenerator.java fd0aee5faf0be727ead4517cc47e87ab5e9a79e9 RED
AnalysisConstraintsUtils.java 338283908b336201c69abdc0890efcfa1d513cad YELLOW
CounterExampleUtils.java c98031e71f4839844ec6c6ad66765e0b73369b1f YELLOW
AnalysisConstraintsUtils.java 338283908b336201c69abdc0890efcfa1d513cad GREEN
CounterExampleUtils.java c98031e71f4839844ec6c6ad66765e0b73369b1f GREEN
SpecificationsFactory.java 0d703af2138e6183d7de1eecf5b3f49b15b32362 YELLOW
TLSpecificationUtils.java 74c1a4c58f40ee41b84ce2f60094c57a53511214 GREEN
Z3SpecificationUtils.java 4c1ec21b82942979fe785df765e2d8cd161e9432 YELLOW
Z3SpecificationUtils.java 4c1ec21b82942979fe785df765e2d8cd161e9432 GREEN
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment