Commit a8a9d344 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Add MSC test case in Demo_ABB

To ensure the MSC convertor has no regression
parent afc0137c
mscdocument Untitled_Document /* MSC AND */;
msg Cabin_Command : (Cabin-button);
msg Floor_Command : (Floor-button);
msg Manual_Control : (Lift-control);
msg Start_Controller : (Start-condition);
msg Housekeeping : (Status);
/* CIF MSCDOCUMENT (0, 0) (1585, 1119) */
mscdocument Untitled_Leaf /* MSC LEAF */;
msc Untitled_MSC;
instance user;
out Start_Controller(nb-of-cycle: 1) to TASTE_System;
in Housekeeping({lift {door-open FALSE, door-closed TRUE, floor-detected FALSE, pos-x 69.999632125}, door door-close}) from TASTE_System;
endinstance;
instance TASTE_System;
in Start_Controller(nb-of-cycle: 1) from user;
out Housekeeping({lift {door-open FALSE, door-closed TRUE, floor-detected FALSE, pos-x 69.999632125}, door door-close}) to user;
endinstance;
endmsc;
endmscdocument;
endmscdocument;
\ No newline at end of file
......@@ -12,6 +12,11 @@ c: test-parse-c # Polyorb_HI_C output
cp controller/controller.pr work/controller/SDL/src
cp lift_model/* work/lift_model/SIMULINK/src
make -C work
# Test the MSC converter tool and execute the MSC scenario
cp MSC_TestCase.msc work/binaries/user_GUI
cd work/binaries/user_GUI && taste-msc2py MSC_TestCase.msc && ../demo &
cd work/binaries/user_GUI && taste-msc2py MSC_TestCase.msc && python3 ./MSC_TestCase.py
pkill demo
test-parse-c: clean-c
$(KAZOO) -p --gw \
......
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