pstlab / PLATINUm

Passed

Push — master ( 8f8808...d269e2 )

by Alessandro

created 2021-11-19 17:38 UTC

Labels

Severity

203 files with issues

Count	Path	Last Found
2	lang/relations/temporal/EndEndRelation.java Duplication Bug	2021-04-10 16:53 UTC
1	framework/time/lang/UnaryTemporalConstraint.java Bug	2021-04-10 16:53 UTC
1	relation/EndsDuringRelationProtocolDescriptor.java Duplication	2021-04-10 16:53 UTC
1	timeline/behavior/checking/IncompleteBehavior.java Bug	2021-04-10 16:53 UTC
1	relation/EndEndRelationProtocolDescriptor.java Duplication	2021-04-10 16:53 UTC
2	lang/relations/temporal/EndsDuringRelation.java Duplication Bug	2021-04-10 16:53 UTC
1	lang/constraints/BindParameterConstraint.java Bug	2021-04-10 16:53 UTC
1	discrete/RequirementResourceProfileSample.java Bug	2021-04-10 16:53 UTC
1	lang/problem/TemporalProblemConstraint.java Best Practice	2021-04-10 16:53 UTC
1	relation/StartStartRelationProtocolDescriptor.java Duplication	2021-04-10 16:53 UTC