PROB - Labels shifted inside not
Description
Environment
Gliffy Diagrams
Activity
Jenkins Build Server December 10, 2012 at 9:12 AM
Integrated in
ProB_TclTk_Linux_No_Parallel #11
added files for Systerel ticket by Beauger (https://probjira.atlassian.net/browse/PROB-239#icft=PROB-239) (Revision 12550)
Result = SUCCESS
leuschel :
Files :
/trunk/prolog/examples/B/Tickets/Beauger2
/trunk/prolog/examples/B/Tickets/Beauger2/TestImplPrio.mch
/trunk/prolog/examples/B/Tickets/Beauger2/TestNotLabel.mch
/trunk/prolog/examples/B/Tickets/Beauger2/TestNotLabel2.mch
/trunk/prolog/examples/B/Tickets/Beauger2/bug_not_labels.mch
/trunk/prolog/examples/B/Tickets/Beauger2/bug_not_labels_corrected.mch
Jenkins Build Server December 4, 2012 at 8:05 PM
Integrated in
ProB_TclTk_Windows #79
added files for Systerel ticket by Beauger (https://probjira.atlassian.net/browse/PROB-239#icft=PROB-239) (Revision 12550)
Result = SUCCESS
leuschel :
Files :
/trunk/prolog/examples/B/Tickets/Beauger2
/trunk/prolog/examples/B/Tickets/Beauger2/TestImplPrio.mch
/trunk/prolog/examples/B/Tickets/Beauger2/TestNotLabel.mch
/trunk/prolog/examples/B/Tickets/Beauger2/TestNotLabel2.mch
/trunk/prolog/examples/B/Tickets/Beauger2/bug_not_labels.mch
/trunk/prolog/examples/B/Tickets/Beauger2/bug_not_labels_corrected.mch
Sebastian Krings December 4, 2012 at 3:16 PM
Tried to implement a solution similar to the UnitPragmaClassifier. However, there appears to be no ANegationPredicate node around the unknown pragma. (Tried container, nearest right and left, successor and predecessor).
I created two JUnit test files.
Jenkins Build Server December 4, 2012 at 2:11 PM
Integrated in
ProB_TclTk_Linux #5069
added files for Systerel ticket by Beauger (https://probjira.atlassian.net/browse/PROB-239#icft=PROB-239) (Revision 12550)
Result = SUCCESS
leuschel :
Files :
/trunk/prolog/examples/B/Tickets/Beauger2
/trunk/prolog/examples/B/Tickets/Beauger2/TestImplPrio.mch
/trunk/prolog/examples/B/Tickets/Beauger2/TestNotLabel.mch
/trunk/prolog/examples/B/Tickets/Beauger2/TestNotLabel2.mch
/trunk/prolog/examples/B/Tickets/Beauger2/bug_not_labels.mch
/trunk/prolog/examples/B/Tickets/Beauger2/bug_not_labels_corrected.mch
Details
Details
Assignee
Reporter
Fix versions
Priority
Major
Below are two examples where the label pragma is attached to the wrong nodes: it seems to be shifted inside not's.
MACHINE
TestNotLabel
/* Below the label NOT is not attached to not but to the aa=1 node */
CONCRETE_CONSTANTS
aa
PROPERTIES
aa=0
ASSERTIONS
/*@label NOT */ not(aa=1) => aa=2
END
MACHINE
TestNotLabel
/* Below the label NOT is not attached to not but to the aa=1 or aa=2 nodes */
CONCRETE_CONSTANTS
aa
PROPERTIES
aa=0
ASSERTIONS
/*@label NOT1 */ not(aa=1);
/*@label NOT2 */ not(aa=2)
END