test.sgen 38 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920
  1. GeneratorModel for sctunit::cpp {
  2. var targetProject : string = "org.yakindu.sct.generator.cpp.test"
  3. test AllTests{
  4. feature Outlet {
  5. targetProject = targetProject
  6. targetFolder = "gtests"
  7. libraryTargetFolder = "libraryTarget"
  8. }
  9. feature JUnitWrapper {
  10. WrapToJUnit = true
  11. }
  12. feature FunctionInlining {
  13. inlineReactions = false
  14. inlineEntryActions = false
  15. inlineExitActions = false
  16. inlineEnterSequences = false
  17. inlineExitSequences = false
  18. inlineChoices = false
  19. inlineEnterRegion = false
  20. inlineExitRegion = false
  21. inlineEntries = false
  22. }
  23. feature SGenModel {
  24. GenerateSGen = true
  25. }
  26. }
  27. test AlwaysOncycle{
  28. feature Outlet{
  29. targetProject = targetProject
  30. targetFolder = "gtests/AlwaysOncycleTest"
  31. libraryTargetFolder = "libraryTarget"
  32. }
  33. feature JUnitWrapper {
  34. WrapToJUnit = true
  35. }
  36. feature FunctionInlining {
  37. inlineReactions = false
  38. inlineEntryActions = false
  39. inlineExitActions = false
  40. inlineEnterSequences = false
  41. inlineExitSequences = false
  42. inlineChoices = false
  43. inlineEnterRegion = false
  44. inlineExitRegion = false
  45. inlineEntries = false
  46. }
  47. feature SGenModel {
  48. GenerateSGen = true
  49. }
  50. }
  51. test AssignmentAsExpression{
  52. feature Outlet{
  53. targetProject = targetProject
  54. targetFolder = "gtests/AssignmentAsExpressionTest"
  55. libraryTargetFolder = "libraryTarget"
  56. }
  57. feature JUnitWrapper {
  58. WrapToJUnit = true
  59. }
  60. feature FunctionInlining {
  61. inlineReactions = false
  62. inlineEntryActions = false
  63. inlineExitActions = false
  64. inlineEnterSequences = false
  65. inlineExitSequences = false
  66. inlineChoices = false
  67. inlineEnterRegion = false
  68. inlineExitRegion = false
  69. inlineEntries = false
  70. }
  71. feature SGenModel {
  72. GenerateSGen = true
  73. }
  74. }
  75. test BitExpressions{
  76. feature Outlet{
  77. targetProject = targetProject
  78. targetFolder = "gtests/BitExpressionsTest"
  79. libraryTargetFolder = "libraryTarget"
  80. }
  81. feature JUnitWrapper {
  82. WrapToJUnit = true
  83. }
  84. feature FunctionInlining {
  85. inlineReactions = false
  86. inlineEntryActions = false
  87. inlineExitActions = false
  88. inlineEnterSequences = false
  89. inlineExitSequences = false
  90. inlineChoices = false
  91. inlineEnterRegion = false
  92. inlineExitRegion = false
  93. inlineEntries = false
  94. }
  95. feature SGenModel {
  96. GenerateSGen = true
  97. }
  98. }
  99. test BooleanExpressions{
  100. feature Outlet{
  101. targetProject = targetProject
  102. targetFolder = "gtests/BooleanExpressionsTest"
  103. libraryTargetFolder = "libraryTarget"
  104. }
  105. feature JUnitWrapper {
  106. WrapToJUnit = true
  107. }
  108. feature FunctionInlining {
  109. inlineReactions = false
  110. inlineEntryActions = false
  111. inlineExitActions = false
  112. inlineEnterSequences = false
  113. inlineExitSequences = false
  114. inlineChoices = false
  115. inlineEnterRegion = false
  116. inlineExitRegion = false
  117. inlineEntries = false
  118. }
  119. feature SGenModel {
  120. GenerateSGen = true
  121. }
  122. }
  123. test Choice{
  124. feature Outlet{
  125. targetProject = targetProject
  126. targetFolder = "gtests/ChoiceTest"
  127. libraryTargetFolder = "libraryTarget"
  128. }
  129. feature JUnitWrapper {
  130. WrapToJUnit = true
  131. }
  132. feature FunctionInlining {
  133. inlineReactions = false
  134. inlineEntryActions = false
  135. inlineExitActions = false
  136. inlineEnterSequences = false
  137. inlineExitSequences = false
  138. inlineChoices = false
  139. inlineEnterRegion = false
  140. inlineExitRegion = false
  141. inlineEntries = false
  142. }
  143. feature SGenModel {
  144. GenerateSGen = true
  145. }
  146. }
  147. test CastExpressions{
  148. feature Outlet{
  149. targetProject = targetProject
  150. targetFolder = "gtests/CastExpressionsTest"
  151. libraryTargetFolder = "libraryTarget"
  152. }
  153. feature JUnitWrapper {
  154. WrapToJUnit = true
  155. }
  156. feature FunctionInlining {
  157. inlineReactions = false
  158. inlineEntryActions = false
  159. inlineExitActions = false
  160. inlineEnterSequences = false
  161. inlineExitSequences = false
  162. inlineChoices = false
  163. inlineEnterRegion = false
  164. inlineExitRegion = false
  165. inlineEntries = false
  166. }
  167. feature SGenModel {
  168. GenerateSGen = true
  169. }
  170. }
  171. test CKeywords{
  172. feature Outlet{
  173. targetProject = targetProject
  174. targetFolder = "gtests/CKeywordsTest"
  175. libraryTargetFolder = "libraryTarget"
  176. }
  177. feature JUnitWrapper {
  178. WrapToJUnit = true
  179. }
  180. feature FunctionInlining {
  181. inlineReactions = false
  182. inlineEntryActions = false
  183. inlineExitActions = false
  184. inlineEnterSequences = false
  185. inlineExitSequences = false
  186. inlineChoices = false
  187. inlineEnterRegion = false
  188. inlineExitRegion = false
  189. inlineEntries = false
  190. }
  191. feature SGenModel {
  192. GenerateSGen = true
  193. }
  194. }
  195. test ConditionalExpression{
  196. feature Outlet{
  197. targetProject = targetProject
  198. targetFolder = "gtests/ConditionalExpressionsTest"
  199. libraryTargetFolder = "libraryTarget"
  200. }
  201. feature JUnitWrapper {
  202. WrapToJUnit = true
  203. }
  204. feature FunctionInlining {
  205. inlineReactions = false
  206. inlineEntryActions = false
  207. inlineExitActions = false
  208. inlineEnterSequences = false
  209. inlineExitSequences = false
  210. inlineChoices = false
  211. inlineEnterRegion = false
  212. inlineExitRegion = false
  213. inlineEntries = false
  214. }
  215. feature SGenModel {
  216. GenerateSGen = true
  217. }
  218. }
  219. test ConstantsTests{
  220. feature Outlet{
  221. targetProject = targetProject
  222. targetFolder = "gtests/ConstantsTest"
  223. libraryTargetFolder = "libraryTarget"
  224. }
  225. feature JUnitWrapper {
  226. WrapToJUnit = true
  227. }
  228. feature FunctionInlining {
  229. inlineReactions = false
  230. inlineEntryActions = false
  231. inlineExitActions = false
  232. inlineEnterSequences = false
  233. inlineExitSequences = false
  234. inlineChoices = false
  235. inlineEnterRegion = false
  236. inlineExitRegion = false
  237. inlineEntries = false
  238. }
  239. feature SGenModel {
  240. GenerateSGen = true
  241. }
  242. }
  243. test ConstOnlyInternalScope{
  244. feature Outlet{
  245. targetProject = targetProject
  246. targetFolder = "gtests/ConstOnlyInternalScopeTest"
  247. libraryTargetFolder = "libraryTarget"
  248. }
  249. feature JUnitWrapper {
  250. WrapToJUnit = true
  251. }
  252. feature FunctionInlining {
  253. inlineReactions = false
  254. inlineEntryActions = false
  255. inlineExitActions = false
  256. inlineEnterSequences = false
  257. inlineExitSequences = false
  258. inlineChoices = false
  259. inlineEnterRegion = false
  260. inlineExitRegion = false
  261. inlineEntries = false
  262. }
  263. feature SGenModel {
  264. GenerateSGen = true
  265. }
  266. }
  267. test ConstOnlyDefaultScope{
  268. feature Outlet{
  269. targetProject = targetProject
  270. targetFolder = "gtests/ConstOnlyDefaultScopeTest"
  271. libraryTargetFolder = "libraryTarget"
  272. }
  273. feature JUnitWrapper {
  274. WrapToJUnit = true
  275. }
  276. feature FunctionInlining {
  277. inlineReactions = false
  278. inlineEntryActions = false
  279. inlineExitActions = false
  280. inlineEnterSequences = false
  281. inlineExitSequences = false
  282. inlineChoices = false
  283. inlineEnterRegion = false
  284. inlineExitRegion = false
  285. inlineEntries = false
  286. }
  287. feature SGenModel {
  288. GenerateSGen = true
  289. }
  290. }
  291. test ConstOnlyNamedScope{
  292. feature Outlet{
  293. targetProject = targetProject
  294. targetFolder = "gtests/ConstOnlyNamedScopeTest"
  295. libraryTargetFolder = "libraryTarget"
  296. }
  297. feature JUnitWrapper {
  298. WrapToJUnit = true
  299. }
  300. feature FunctionInlining {
  301. inlineReactions = false
  302. inlineEntryActions = false
  303. inlineExitActions = false
  304. inlineEnterSequences = false
  305. inlineExitSequences = false
  306. inlineChoices = false
  307. inlineEnterRegion = false
  308. inlineExitRegion = false
  309. inlineEntries = false
  310. }
  311. feature SGenModel {
  312. GenerateSGen = true
  313. }
  314. }
  315. test Declarations{
  316. feature Outlet{
  317. targetProject = targetProject
  318. targetFolder = "gtests/DeclarationsTest"
  319. libraryTargetFolder = "libraryTarget"
  320. }
  321. feature JUnitWrapper {
  322. WrapToJUnit = true
  323. }
  324. feature FunctionInlining {
  325. inlineReactions = false
  326. inlineEntryActions = false
  327. inlineExitActions = false
  328. inlineEnterSequences = false
  329. inlineExitSequences = false
  330. inlineChoices = false
  331. inlineEnterRegion = false
  332. inlineExitRegion = false
  333. inlineEntries = false
  334. }
  335. feature SGenModel {
  336. GenerateSGen = true
  337. }
  338. }
  339. test DeepEntry{
  340. feature Outlet{
  341. targetProject = targetProject
  342. targetFolder = "gtests/DeepEntryTest"
  343. libraryTargetFolder = "libraryTarget"
  344. }
  345. feature JUnitWrapper {
  346. WrapToJUnit = true
  347. }
  348. feature FunctionInlining {
  349. inlineReactions = false
  350. inlineEntryActions = false
  351. inlineExitActions = false
  352. inlineEnterSequences = false
  353. inlineExitSequences = false
  354. inlineChoices = false
  355. inlineEnterRegion = false
  356. inlineExitRegion = false
  357. inlineEntries = false
  358. }
  359. feature SGenModel {
  360. GenerateSGen = true
  361. }
  362. }
  363. test DeepHistory{
  364. feature Outlet{
  365. targetProject = targetProject
  366. targetFolder = "gtests/DeepHistoryTest"
  367. libraryTargetFolder = "libraryTarget"
  368. }
  369. feature JUnitWrapper {
  370. WrapToJUnit = true
  371. }
  372. feature FunctionInlining {
  373. inlineReactions = false
  374. inlineEntryActions = false
  375. inlineExitActions = false
  376. inlineEnterSequences = false
  377. inlineExitSequences = false
  378. inlineChoices = false
  379. inlineEnterRegion = false
  380. inlineExitRegion = false
  381. inlineEntries = false
  382. }
  383. feature SGenModel {
  384. GenerateSGen = true
  385. }
  386. }
  387. test DynamicChoice{
  388. feature Outlet{
  389. targetProject = targetProject
  390. targetFolder = "gtests/DynamicChoiceTest"
  391. libraryTargetFolder = "libraryTarget"
  392. }
  393. feature JUnitWrapper {
  394. WrapToJUnit = true
  395. }
  396. feature FunctionInlining {
  397. inlineReactions = false
  398. inlineEntryActions = false
  399. inlineExitActions = false
  400. inlineEnterSequences = false
  401. inlineExitSequences = false
  402. inlineChoices = false
  403. inlineEnterRegion = false
  404. inlineExitRegion = false
  405. inlineEntries = false
  406. }
  407. feature SGenModel {
  408. GenerateSGen = true
  409. }
  410. }
  411. test EmptyTransition{
  412. feature Outlet{
  413. targetProject = targetProject
  414. targetFolder = "gtests/EmptyTransitionTest"
  415. libraryTargetFolder = "libraryTarget"
  416. }
  417. feature JUnitWrapper {
  418. WrapToJUnit = true
  419. }
  420. feature FunctionInlining {
  421. inlineReactions = false
  422. inlineEntryActions = false
  423. inlineExitActions = false
  424. inlineEnterSequences = false
  425. inlineExitSequences = false
  426. inlineChoices = false
  427. inlineEnterRegion = false
  428. inlineExitRegion = false
  429. inlineEntries = false
  430. }
  431. feature SGenModel {
  432. GenerateSGen = true
  433. }
  434. }
  435. test EntryChoice{
  436. feature Outlet{
  437. targetProject = targetProject
  438. targetFolder = "gtests/EntryChoiceTest"
  439. libraryTargetFolder = "libraryTarget"
  440. }
  441. feature JUnitWrapper {
  442. WrapToJUnit = true
  443. }
  444. feature FunctionInlining {
  445. inlineReactions = false
  446. inlineEntryActions = false
  447. inlineExitActions = false
  448. inlineEnterSequences = false
  449. inlineExitSequences = false
  450. inlineChoices = false
  451. inlineEnterRegion = false
  452. inlineExitRegion = false
  453. inlineEntries = false
  454. }
  455. feature SGenModel {
  456. GenerateSGen = true
  457. }
  458. }
  459. test EntryExitSelfTransition{
  460. feature Outlet{
  461. targetProject = targetProject
  462. targetFolder = "gtests/EntryExitSelfTransitionTest"
  463. libraryTargetFolder = "libraryTarget"
  464. }
  465. feature JUnitWrapper {
  466. WrapToJUnit = true
  467. }
  468. feature FunctionInlining {
  469. inlineReactions = false
  470. inlineEntryActions = false
  471. inlineExitActions = false
  472. inlineEnterSequences = false
  473. inlineExitSequences = false
  474. inlineChoices = false
  475. inlineEnterRegion = false
  476. inlineExitRegion = false
  477. inlineEntries = false
  478. }
  479. feature SGenModel {
  480. GenerateSGen = true
  481. }
  482. }
  483. test EnterState{
  484. feature Outlet{
  485. targetProject = targetProject
  486. targetFolder = "gtests/EnterStateTest"
  487. libraryTargetFolder = "libraryTarget"
  488. }
  489. feature JUnitWrapper {
  490. WrapToJUnit = true
  491. }
  492. feature FunctionInlining {
  493. inlineReactions = false
  494. inlineEntryActions = false
  495. inlineExitActions = false
  496. inlineEnterSequences = false
  497. inlineExitSequences = false
  498. inlineChoices = false
  499. inlineEnterRegion = false
  500. inlineExitRegion = false
  501. inlineEntries = false
  502. }
  503. feature SGenModel {
  504. GenerateSGen = true
  505. }
  506. }
  507. test EntryReactionAction {
  508. feature Outlet{
  509. targetProject = targetProject
  510. targetFolder = "gtests/EntryReactionActionTest"
  511. libraryTargetFolder = "libraryTarget"
  512. }
  513. feature JUnitWrapper {
  514. WrapToJUnit = true
  515. }
  516. feature FunctionInlining {
  517. inlineReactions = false
  518. inlineEntryActions = false
  519. inlineExitActions = false
  520. inlineEnterSequences = false
  521. inlineExitSequences = false
  522. inlineChoices = false
  523. inlineEnterRegion = false
  524. inlineExitRegion = false
  525. inlineEntries = false
  526. }
  527. feature SGenModel {
  528. GenerateSGen = true
  529. }
  530. }
  531. test ExitOnSelfTransition{
  532. feature Outlet{
  533. targetProject = targetProject
  534. targetFolder = "gtests/ExitOnSelfTransitionTest"
  535. libraryTargetFolder = "libraryTarget"
  536. }
  537. feature JUnitWrapper {
  538. WrapToJUnit = true
  539. }
  540. feature FunctionInlining {
  541. inlineReactions = false
  542. inlineEntryActions = false
  543. inlineExitActions = false
  544. inlineEnterSequences = false
  545. inlineExitSequences = false
  546. inlineChoices = false
  547. inlineEnterRegion = false
  548. inlineExitRegion = false
  549. inlineEntries = false
  550. }
  551. feature SGenModel {
  552. GenerateSGen = true
  553. }
  554. }
  555. test ExitState{
  556. feature Outlet{
  557. targetProject = targetProject
  558. targetFolder = "gtests/ExitStateTest"
  559. libraryTargetFolder = "libraryTarget"
  560. }
  561. feature JUnitWrapper {
  562. WrapToJUnit = true
  563. }
  564. feature FunctionInlining {
  565. inlineReactions = false
  566. inlineEntryActions = false
  567. inlineExitActions = false
  568. inlineEnterSequences = false
  569. inlineExitSequences = false
  570. inlineChoices = false
  571. inlineEnterRegion = false
  572. inlineExitRegion = false
  573. inlineEntries = false
  574. }
  575. feature SGenModel {
  576. GenerateSGen = true
  577. }
  578. }
  579. test FeatureCalls{
  580. feature Outlet{
  581. targetProject = targetProject
  582. targetFolder = "gtests/FeatureCallsTest"
  583. libraryTargetFolder = "libraryTarget"
  584. }
  585. feature JUnitWrapper {
  586. WrapToJUnit = true
  587. }
  588. feature FunctionInlining {
  589. inlineReactions = false
  590. inlineEntryActions = false
  591. inlineExitActions = false
  592. inlineEnterSequences = false
  593. inlineExitSequences = false
  594. inlineChoices = false
  595. inlineEnterRegion = false
  596. inlineExitRegion = false
  597. inlineEntries = false
  598. }
  599. feature SGenModel {
  600. GenerateSGen = true
  601. }
  602. }
  603. test FinalState{
  604. feature Outlet{
  605. targetProject = targetProject
  606. targetFolder = "gtests/FinalStateTest"
  607. libraryTargetFolder = "libraryTarget"
  608. }
  609. feature JUnitWrapper {
  610. WrapToJUnit = true
  611. }
  612. feature FunctionInlining {
  613. inlineReactions = false
  614. inlineEntryActions = false
  615. inlineExitActions = false
  616. inlineEnterSequences = false
  617. inlineExitSequences = false
  618. inlineChoices = false
  619. inlineEnterRegion = false
  620. inlineExitRegion = false
  621. inlineEntries = false
  622. }
  623. feature SGenModel {
  624. GenerateSGen = true
  625. }
  626. }
  627. test FloatModulo {
  628. feature Outlet {
  629. targetProject = "org.yakindu.sct.generator.cpp.test"
  630. targetFolder = "gtests/FloatModulo"
  631. libraryTargetFolder = "libraryTarget"
  632. }
  633. feature JUnitWrapper {
  634. WrapToJUnit = true
  635. }
  636. feature FunctionInlining {
  637. inlineReactions = false
  638. inlineEntryActions = false
  639. inlineExitActions = false
  640. inlineEnterSequences = false
  641. inlineExitSequences = false
  642. inlineChoices = false
  643. inlineEnterRegion = false
  644. inlineExitRegion = false
  645. inlineEntries = false
  646. }
  647. feature SGenModel{
  648. GenerateSGen = true
  649. }
  650. }
  651. test Guard{
  652. feature Outlet{
  653. targetProject = targetProject
  654. targetFolder = "gtests/GuardTest"
  655. libraryTargetFolder = "libraryTarget"
  656. }
  657. feature JUnitWrapper {
  658. WrapToJUnit = true
  659. }
  660. feature FunctionInlining {
  661. inlineReactions = false
  662. inlineEntryActions = false
  663. inlineExitActions = false
  664. inlineEnterSequences = false
  665. inlineExitSequences = false
  666. inlineChoices = false
  667. inlineEnterRegion = false
  668. inlineExitRegion = false
  669. inlineEntries = false
  670. }
  671. feature SGenModel {
  672. GenerateSGen = true
  673. }
  674. }
  675. test GuardedEntry{
  676. feature Outlet{
  677. targetProject = targetProject
  678. targetFolder = "gtests/GuardedEntryTest"
  679. libraryTargetFolder = "libraryTarget"
  680. }
  681. feature JUnitWrapper {
  682. WrapToJUnit = true
  683. }
  684. feature FunctionInlining {
  685. inlineReactions = false
  686. inlineEntryActions = false
  687. inlineExitActions = false
  688. inlineEnterSequences = false
  689. inlineExitSequences = false
  690. inlineChoices = false
  691. inlineEnterRegion = false
  692. inlineExitRegion = false
  693. inlineEntries = false
  694. }
  695. feature SGenModel {
  696. GenerateSGen = true
  697. }
  698. }
  699. test GuardedExit{
  700. feature Outlet{
  701. targetProject = targetProject
  702. targetFolder = "gtests/GuardedExitTest"
  703. libraryTargetFolder = "libraryTarget"
  704. }
  705. feature JUnitWrapper {
  706. WrapToJUnit = true
  707. }
  708. feature FunctionInlining {
  709. inlineReactions = false
  710. inlineEntryActions = false
  711. inlineExitActions = false
  712. inlineEnterSequences = false
  713. inlineExitSequences = false
  714. inlineChoices = false
  715. inlineEnterRegion = false
  716. inlineExitRegion = false
  717. inlineEntries = false
  718. }
  719. feature SGenModel {
  720. GenerateSGen = true
  721. }
  722. }
  723. test HistoryWithExitPoint {
  724. feature Outlet{
  725. targetProject = targetProject
  726. targetFolder = "gtests/HistoryWithExitPointTest"
  727. libraryTargetFolder = "libraryTarget"
  728. }
  729. feature JUnitWrapper {
  730. WrapToJUnit = true
  731. }
  732. feature FunctionInlining {
  733. inlineReactions = false
  734. inlineEntryActions = false
  735. inlineExitActions = false
  736. inlineEnterSequences = false
  737. inlineExitSequences = false
  738. inlineChoices = false
  739. inlineEnterRegion = false
  740. inlineExitRegion = false
  741. inlineEntries = false
  742. }
  743. feature SGenModel {
  744. GenerateSGen = true
  745. }
  746. }
  747. test HistoryWithoutInitialStep{
  748. feature Outlet{
  749. targetProject = targetProject
  750. targetFolder = "gtests/HistoryWithoutInitialStepTest"
  751. libraryTargetFolder = "libraryTarget"
  752. }
  753. feature JUnitWrapper {
  754. WrapToJUnit = true
  755. }
  756. feature FunctionInlining {
  757. inlineReactions = false
  758. inlineEntryActions = false
  759. inlineExitActions = false
  760. inlineEnterSequences = false
  761. inlineExitSequences = false
  762. inlineChoices = false
  763. inlineEnterRegion = false
  764. inlineExitRegion = false
  765. inlineEntries = false
  766. }
  767. feature SGenModel {
  768. GenerateSGen = true
  769. }
  770. }
  771. test InEventLifeCycle{
  772. feature Outlet{
  773. targetProject = targetProject
  774. targetFolder = "gtests/InEventLifeCycleTest"
  775. libraryTargetFolder = "libraryTarget"
  776. }
  777. feature JUnitWrapper {
  778. WrapToJUnit = true
  779. }
  780. feature FunctionInlining {
  781. inlineReactions = false
  782. inlineEntryActions = false
  783. inlineExitActions = false
  784. inlineEnterSequences = false
  785. inlineExitSequences = false
  786. inlineChoices = false
  787. inlineEnterRegion = false
  788. inlineExitRegion = false
  789. inlineEntries = false
  790. }
  791. feature SGenModel {
  792. GenerateSGen = true
  793. }
  794. }
  795. test IntegerExpressions{
  796. feature Outlet{
  797. targetProject = targetProject
  798. targetFolder = "gtests/IntegerExpressionsTest"
  799. libraryTargetFolder = "libraryTarget"
  800. }
  801. feature JUnitWrapper {
  802. WrapToJUnit = true
  803. }
  804. feature FunctionInlining {
  805. inlineReactions = false
  806. inlineEntryActions = false
  807. inlineExitActions = false
  808. inlineEnterSequences = false
  809. inlineExitSequences = false
  810. inlineChoices = false
  811. inlineEnterRegion = false
  812. inlineExitRegion = false
  813. inlineEntries = false
  814. }
  815. feature SGenModel {
  816. GenerateSGen = true
  817. }
  818. }
  819. test InternalEventLifeCycle{
  820. feature Outlet{
  821. targetProject = targetProject
  822. targetFolder = "gtests/InternalEventLifeCycleTest"
  823. libraryTargetFolder = "libraryTarget"
  824. }
  825. feature JUnitWrapper {
  826. WrapToJUnit = true
  827. }
  828. feature FunctionInlining {
  829. inlineReactions = false
  830. inlineEntryActions = false
  831. inlineExitActions = false
  832. inlineEnterSequences = false
  833. inlineExitSequences = false
  834. inlineChoices = false
  835. inlineEnterRegion = false
  836. inlineExitRegion = false
  837. inlineEntries = false
  838. }
  839. feature SGenModel {
  840. GenerateSGen = true
  841. }
  842. }
  843. test LocalReactions{
  844. feature Outlet{
  845. targetProject = targetProject
  846. targetFolder = "gtests/LocalReactionsTest"
  847. libraryTargetFolder = "libraryTarget"
  848. }
  849. feature JUnitWrapper {
  850. WrapToJUnit = true
  851. }
  852. feature FunctionInlining {
  853. inlineReactions = false
  854. inlineEntryActions = false
  855. inlineExitActions = false
  856. inlineEnterSequences = false
  857. inlineExitSequences = false
  858. inlineChoices = false
  859. inlineEnterRegion = false
  860. inlineExitRegion = false
  861. inlineEntries = false
  862. }
  863. feature SGenModel {
  864. GenerateSGen = true
  865. }
  866. }
  867. test LogicalAndTests{
  868. feature Outlet{
  869. targetProject = targetProject
  870. targetFolder = "gtests/LogicalAndTest"
  871. libraryTargetFolder = "libraryTarget"
  872. }
  873. feature JUnitWrapper {
  874. WrapToJUnit = true
  875. }
  876. feature FunctionInlining {
  877. inlineReactions = false
  878. inlineEntryActions = false
  879. inlineExitActions = false
  880. inlineEnterSequences = false
  881. inlineExitSequences = false
  882. inlineChoices = false
  883. inlineEnterRegion = false
  884. inlineExitRegion = false
  885. inlineEntries = false
  886. }
  887. feature SGenModel {
  888. GenerateSGen = true
  889. }
  890. }
  891. test LogicalOrTests{
  892. feature Outlet{
  893. targetProject = targetProject
  894. targetFolder = "gtests/LogicalOrTest"
  895. libraryTargetFolder = "libraryTarget"
  896. }
  897. feature JUnitWrapper {
  898. WrapToJUnit = true
  899. }
  900. feature FunctionInlining {
  901. inlineReactions = false
  902. inlineEntryActions = false
  903. inlineExitActions = false
  904. inlineEnterSequences = false
  905. inlineExitSequences = false
  906. inlineChoices = false
  907. inlineEnterRegion = false
  908. inlineExitRegion = false
  909. inlineEntries = false
  910. }
  911. feature SGenModel {
  912. GenerateSGen = true
  913. }
  914. }
  915. test NamedInterfaceAccess{
  916. feature Outlet{
  917. targetProject = targetProject
  918. targetFolder = "gtests/NamedInterfaceAccessTest"
  919. libraryTargetFolder = "libraryTarget"
  920. }
  921. feature JUnitWrapper {
  922. WrapToJUnit = true
  923. }
  924. feature FunctionInlining {
  925. inlineReactions = false
  926. inlineEntryActions = false
  927. inlineExitActions = false
  928. inlineEnterSequences = false
  929. inlineExitSequences = false
  930. inlineChoices = false
  931. inlineEnterRegion = false
  932. inlineExitRegion = false
  933. inlineEntries = false
  934. }
  935. feature SGenModel {
  936. GenerateSGen = true
  937. }
  938. }
  939. test NullCheck{
  940. feature Outlet{
  941. targetProject = targetProject
  942. targetFolder = "gtests/NullCheckTest"
  943. libraryTargetFolder = "libraryTarget"
  944. }
  945. feature JUnitWrapper {
  946. WrapToJUnit = true
  947. }
  948. feature FunctionInlining {
  949. inlineReactions = false
  950. inlineEntryActions = false
  951. inlineExitActions = false
  952. inlineEnterSequences = false
  953. inlineExitSequences = false
  954. inlineChoices = false
  955. inlineEnterRegion = false
  956. inlineExitRegion = false
  957. inlineEntries = false
  958. }
  959. feature SGenModel {
  960. GenerateSGen = true
  961. }
  962. }
  963. test OperationsTest{
  964. feature Outlet{
  965. targetProject = targetProject
  966. targetFolder = "gtests/OperationsTest"
  967. libraryTargetFolder = "libraryTarget"
  968. }
  969. feature JUnitWrapper {
  970. WrapToJUnit = true
  971. }
  972. feature FunctionInlining {
  973. inlineReactions = false
  974. inlineEntryActions = false
  975. inlineExitActions = false
  976. inlineEnterSequences = false
  977. inlineExitSequences = false
  978. inlineChoices = false
  979. inlineEnterRegion = false
  980. inlineExitRegion = false
  981. inlineEntries = false
  982. }
  983. feature SGenModel {
  984. GenerateSGen = true
  985. }
  986. }
  987. test OutEventLifeCycle{
  988. feature Outlet{
  989. targetProject = targetProject
  990. targetFolder = "gtests/OutEventLifeCycleTest"
  991. }
  992. feature JUnitWrapper {
  993. WrapToJUnit = true
  994. }
  995. feature FunctionInlining {
  996. inlineReactions = false
  997. inlineEntryActions = false
  998. inlineExitActions = false
  999. inlineEnterSequences = false
  1000. inlineExitSequences = false
  1001. inlineChoices = false
  1002. inlineEnterRegion = false
  1003. inlineExitRegion = false
  1004. inlineEntries = false
  1005. }
  1006. feature SGenModel {
  1007. GenerateSGen = true
  1008. }
  1009. }
  1010. test Parenthesis{
  1011. feature Outlet{
  1012. targetProject = targetProject
  1013. targetFolder = "gtests/ParenthesisTest"
  1014. libraryTargetFolder = "libraryTarget"
  1015. }
  1016. feature JUnitWrapper {
  1017. WrapToJUnit = true
  1018. }
  1019. feature FunctionInlining {
  1020. inlineReactions = false
  1021. inlineEntryActions = false
  1022. inlineExitActions = false
  1023. inlineEnterSequences = false
  1024. inlineExitSequences = false
  1025. inlineChoices = false
  1026. inlineEnterRegion = false
  1027. inlineExitRegion = false
  1028. inlineEntries = false
  1029. }
  1030. feature SGenModel {
  1031. GenerateSGen = true
  1032. }
  1033. }
  1034. test PriorityValues{
  1035. feature Outlet{
  1036. targetProject = targetProject
  1037. targetFolder = "gtests/PriorityValuesTest"
  1038. libraryTargetFolder = "libraryTarget"
  1039. }
  1040. feature JUnitWrapper {
  1041. WrapToJUnit = true
  1042. }
  1043. feature FunctionInlining {
  1044. inlineReactions = false
  1045. inlineEntryActions = false
  1046. inlineExitActions = false
  1047. inlineEnterSequences = false
  1048. inlineExitSequences = false
  1049. inlineChoices = false
  1050. inlineEnterRegion = false
  1051. inlineExitRegion = false
  1052. inlineEntries = false
  1053. }
  1054. feature SGenModel {
  1055. GenerateSGen = true
  1056. }
  1057. }
  1058. test RaiseEvent{
  1059. feature Outlet{
  1060. targetProject = targetProject
  1061. targetFolder = "gtests/RaiseEventTest"
  1062. libraryTargetFolder = "libraryTarget"
  1063. }
  1064. feature JUnitWrapper {
  1065. WrapToJUnit = true
  1066. }
  1067. feature FunctionInlining {
  1068. inlineReactions = false
  1069. inlineEntryActions = false
  1070. inlineExitActions = false
  1071. inlineEnterSequences = false
  1072. inlineExitSequences = false
  1073. inlineChoices = false
  1074. inlineEnterRegion = false
  1075. inlineExitRegion = false
  1076. inlineEntries = false
  1077. }
  1078. feature SGenModel {
  1079. GenerateSGen = true
  1080. }
  1081. }
  1082. test ReadOnlyVariable{
  1083. feature Outlet{
  1084. targetProject = targetProject
  1085. targetFolder = "gtests/ReadOnlyVariableTest"
  1086. libraryTargetFolder = "libraryTarget"
  1087. }
  1088. feature JUnitWrapper {
  1089. WrapToJUnit = true
  1090. }
  1091. feature FunctionInlining {
  1092. inlineReactions = false
  1093. inlineEntryActions = false
  1094. inlineExitActions = false
  1095. inlineEnterSequences = false
  1096. inlineExitSequences = false
  1097. inlineChoices = false
  1098. inlineEnterRegion = false
  1099. inlineExitRegion = false
  1100. inlineEntries = false
  1101. }
  1102. feature SGenModel {
  1103. GenerateSGen = true
  1104. }
  1105. }
  1106. test SameNameDifferentRegion{
  1107. feature Outlet{
  1108. targetProject = targetProject
  1109. targetFolder = "gtests/SameNameDifferentRegionTest"
  1110. libraryTargetFolder = "libraryTarget"
  1111. }
  1112. feature JUnitWrapper {
  1113. WrapToJUnit = true
  1114. }
  1115. feature FunctionInlining {
  1116. inlineReactions = false
  1117. inlineEntryActions = false
  1118. inlineExitActions = false
  1119. inlineEnterSequences = false
  1120. inlineExitSequences = false
  1121. inlineChoices = false
  1122. inlineEnterRegion = false
  1123. inlineExitRegion = false
  1124. inlineEntries = false
  1125. }
  1126. feature SGenModel {
  1127. GenerateSGen = true
  1128. }
  1129. }
  1130. test ShallowHistory{
  1131. feature Outlet{
  1132. targetProject = targetProject
  1133. targetFolder = "gtests/ShallowHistoryTest"
  1134. libraryTargetFolder = "libraryTarget"
  1135. }
  1136. feature JUnitWrapper {
  1137. WrapToJUnit = true
  1138. }
  1139. feature FunctionInlining {
  1140. inlineReactions = false
  1141. inlineEntryActions = false
  1142. inlineExitActions = false
  1143. inlineEnterSequences = false
  1144. inlineExitSequences = false
  1145. inlineChoices = false
  1146. inlineEnterRegion = false
  1147. inlineExitRegion = false
  1148. inlineEntries = false
  1149. }
  1150. feature SGenModel {
  1151. GenerateSGen = true
  1152. }
  1153. }
  1154. test ShallowHistoryWithDeepEntry{
  1155. feature Outlet{
  1156. targetProject = targetProject
  1157. targetFolder = "gtests/ShallowHistoryWithDeepEntryTest"
  1158. libraryTargetFolder = "libraryTarget"
  1159. }
  1160. feature JUnitWrapper {
  1161. WrapToJUnit = true
  1162. }
  1163. feature FunctionInlining {
  1164. inlineReactions = false
  1165. inlineEntryActions = false
  1166. inlineExitActions = false
  1167. inlineEnterSequences = false
  1168. inlineExitSequences = false
  1169. inlineChoices = false
  1170. inlineEnterRegion = false
  1171. inlineExitRegion = false
  1172. inlineEntries = false
  1173. }
  1174. feature SGenModel {
  1175. GenerateSGen = true
  1176. }
  1177. }
  1178. test SimpleEvent{
  1179. feature Outlet{
  1180. targetProject = targetProject
  1181. targetFolder = "gtests/SimpleEventTest"
  1182. libraryTargetFolder = "libraryTarget"
  1183. }
  1184. feature JUnitWrapper {
  1185. WrapToJUnit = true
  1186. }
  1187. feature FunctionInlining {
  1188. inlineReactions = false
  1189. inlineEntryActions = false
  1190. inlineExitActions = false
  1191. inlineEnterSequences = false
  1192. inlineExitSequences = false
  1193. inlineChoices = false
  1194. inlineEnterRegion = false
  1195. inlineExitRegion = false
  1196. inlineEntries = false
  1197. }
  1198. feature SGenModel {
  1199. GenerateSGen = true
  1200. }
  1201. }
  1202. test SimpleHierachy{
  1203. feature Outlet{
  1204. targetProject = targetProject
  1205. targetFolder = "gtests/SimpleHierachyTest"
  1206. libraryTargetFolder = "libraryTarget"
  1207. }
  1208. feature JUnitWrapper {
  1209. WrapToJUnit = true
  1210. }
  1211. feature FunctionInlining {
  1212. inlineReactions = false
  1213. inlineEntryActions = false
  1214. inlineExitActions = false
  1215. inlineEnterSequences = false
  1216. inlineExitSequences = false
  1217. inlineChoices = false
  1218. inlineEnterRegion = false
  1219. inlineExitRegion = false
  1220. inlineEntries = false
  1221. }
  1222. feature SGenModel {
  1223. GenerateSGen = true
  1224. }
  1225. }
  1226. test StatechartActive {
  1227. feature Outlet{
  1228. targetProject = targetProject
  1229. targetFolder = "gtests/StatechartActiveTest"
  1230. libraryTargetFolder = "libraryTarget"
  1231. }
  1232. feature JUnitWrapper {
  1233. WrapToJUnit = true
  1234. }
  1235. feature FunctionInlining {
  1236. inlineReactions = false
  1237. inlineEntryActions = false
  1238. inlineExitActions = false
  1239. inlineEnterSequences = false
  1240. inlineExitSequences = false
  1241. inlineChoices = false
  1242. inlineEnterRegion = false
  1243. inlineExitRegion = false
  1244. inlineEntries = false
  1245. }
  1246. feature SGenModel {
  1247. GenerateSGen = true
  1248. }
  1249. }
  1250. test StatechartLocalReactions{
  1251. feature Outlet{
  1252. targetProject = targetProject
  1253. targetFolder = "gtests/StatechartLocalReactionsTest"
  1254. libraryTargetFolder = "libraryTarget"
  1255. }
  1256. feature JUnitWrapper {
  1257. WrapToJUnit = true
  1258. }
  1259. feature FunctionInlining {
  1260. inlineReactions = false
  1261. inlineEntryActions = false
  1262. inlineExitActions = false
  1263. inlineEnterSequences = false
  1264. inlineExitSequences = false
  1265. inlineChoices = false
  1266. inlineEnterRegion = false
  1267. inlineExitRegion = false
  1268. inlineEntries = false
  1269. }
  1270. feature SGenModel {
  1271. GenerateSGen = true
  1272. }
  1273. }
  1274. test StateIsActive{
  1275. feature Outlet{
  1276. targetProject = targetProject
  1277. targetFolder = "gtests/StateIsActiveTest"
  1278. libraryTargetFolder = "libraryTarget"
  1279. }
  1280. feature JUnitWrapper {
  1281. WrapToJUnit = true
  1282. }
  1283. feature FunctionInlining {
  1284. inlineReactions = false
  1285. inlineEntryActions = false
  1286. inlineExitActions = false
  1287. inlineEnterSequences = false
  1288. inlineExitSequences = false
  1289. inlineChoices = false
  1290. inlineEnterRegion = false
  1291. inlineExitRegion = false
  1292. inlineEntries = false
  1293. }
  1294. feature SGenModel {
  1295. GenerateSGen = true
  1296. }
  1297. }
  1298. test StaticChoice{
  1299. feature Outlet{
  1300. targetProject = targetProject
  1301. targetFolder = "gtests/StaticChoiceTest"
  1302. libraryTargetFolder = "libraryTarget"
  1303. }
  1304. feature JUnitWrapper {
  1305. WrapToJUnit = true
  1306. }
  1307. feature FunctionInlining {
  1308. inlineReactions = false
  1309. inlineEntryActions = false
  1310. inlineExitActions = false
  1311. inlineEnterSequences = false
  1312. inlineExitSequences = false
  1313. inlineChoices = false
  1314. inlineEnterRegion = false
  1315. inlineExitRegion = false
  1316. inlineEntries = false
  1317. }
  1318. feature SGenModel {
  1319. GenerateSGen = true
  1320. }
  1321. }
  1322. test STextKeywordsInStatesAndRegions{
  1323. feature Outlet{
  1324. targetProject = targetProject
  1325. targetFolder = "gtests/STextKeywordsInStatesAndRegionsTest"
  1326. libraryTargetFolder = "libraryTarget"
  1327. }
  1328. feature JUnitWrapper {
  1329. WrapToJUnit = true
  1330. }
  1331. feature FunctionInlining {
  1332. inlineReactions = false
  1333. inlineEntryActions = false
  1334. inlineExitActions = false
  1335. inlineEnterSequences = false
  1336. inlineExitSequences = false
  1337. inlineChoices = false
  1338. inlineEnterRegion = false
  1339. inlineExitRegion = false
  1340. inlineEntries = false
  1341. }
  1342. feature SGenModel {
  1343. GenerateSGen = true
  1344. }
  1345. }
  1346. test StringExpressions{
  1347. feature Outlet{
  1348. targetProject = targetProject
  1349. targetFolder = "gtests/StringExpressionsTest"
  1350. libraryTargetFolder = "libraryTarget"
  1351. }
  1352. feature JUnitWrapper {
  1353. WrapToJUnit = true
  1354. }
  1355. feature FunctionInlining {
  1356. inlineReactions = false
  1357. inlineEntryActions = false
  1358. inlineExitActions = false
  1359. inlineEnterSequences = false
  1360. inlineExitSequences = false
  1361. inlineChoices = false
  1362. inlineEnterRegion = false
  1363. inlineExitRegion = false
  1364. inlineEntries = false
  1365. }
  1366. feature SGenModel {
  1367. GenerateSGen = true
  1368. }
  1369. }
  1370. test SyncFork{
  1371. feature Outlet{
  1372. targetProject = targetProject
  1373. targetFolder = "gtests/SyncForkTest"
  1374. libraryTargetFolder = "libraryTarget"
  1375. }
  1376. feature JUnitWrapper {
  1377. WrapToJUnit = true
  1378. }
  1379. feature FunctionInlining {
  1380. inlineReactions = false
  1381. inlineEntryActions = false
  1382. inlineExitActions = false
  1383. inlineEnterSequences = false
  1384. inlineExitSequences = false
  1385. inlineChoices = false
  1386. inlineEnterRegion = false
  1387. inlineExitRegion = false
  1388. inlineEntries = false
  1389. }
  1390. feature SGenModel {
  1391. GenerateSGen = true
  1392. }
  1393. }
  1394. test SyncJoin{
  1395. feature Outlet{
  1396. targetProject = targetProject
  1397. targetFolder = "gtests/SyncJoinTest"
  1398. libraryTargetFolder = "libraryTarget"
  1399. }
  1400. feature JUnitWrapper {
  1401. WrapToJUnit = true
  1402. }
  1403. feature FunctionInlining {
  1404. inlineReactions = false
  1405. inlineEntryActions = false
  1406. inlineExitActions = false
  1407. inlineEnterSequences = false
  1408. inlineExitSequences = false
  1409. inlineChoices = false
  1410. inlineEnterRegion = false
  1411. inlineExitRegion = false
  1412. inlineEntries = false
  1413. }
  1414. feature SGenModel {
  1415. GenerateSGen = true
  1416. }
  1417. }
  1418. test TimedTransitions {
  1419. feature Outlet{
  1420. targetProject = targetProject
  1421. targetFolder = "gtests/TimedTransitionsTest"
  1422. libraryTargetFolder = "libraryTarget"
  1423. }
  1424. feature JUnitWrapper {
  1425. WrapToJUnit = true
  1426. }
  1427. feature FunctionInlining {
  1428. inlineReactions = false
  1429. inlineEntryActions = false
  1430. inlineExitActions = false
  1431. inlineEnterSequences = false
  1432. inlineExitSequences = false
  1433. inlineChoices = false
  1434. inlineEnterRegion = false
  1435. inlineExitRegion = false
  1436. inlineEntries = false
  1437. }
  1438. feature SGenModel {
  1439. GenerateSGen = true
  1440. }
  1441. }
  1442. test TransitionWithoutCondition{
  1443. feature Outlet{
  1444. targetProject = targetProject
  1445. targetFolder = "gtests/TransitionWithoutConditionTest"
  1446. libraryTargetFolder = "libraryTarget"
  1447. }
  1448. feature JUnitWrapper {
  1449. WrapToJUnit = true
  1450. }
  1451. feature FunctionInlining {
  1452. inlineReactions = false
  1453. inlineEntryActions = false
  1454. inlineExitActions = false
  1455. inlineEnterSequences = false
  1456. inlineExitSequences = false
  1457. inlineChoices = false
  1458. inlineEnterRegion = false
  1459. inlineExitRegion = false
  1460. inlineEntries = false
  1461. }
  1462. feature SGenModel {
  1463. GenerateSGen = true
  1464. }
  1465. }
  1466. test TriggerExpressionPrecedence {
  1467. feature Outlet{
  1468. targetProject = targetProject
  1469. targetFolder = "gtests/TriggerExpressionPrecedenceTest"
  1470. libraryTargetFolder = "libraryTarget"
  1471. }
  1472. feature JUnitWrapper {
  1473. WrapToJUnit = true
  1474. }
  1475. feature FunctionInlining {
  1476. inlineReactions = false
  1477. inlineEntryActions = false
  1478. inlineExitActions = false
  1479. inlineEnterSequences = false
  1480. inlineExitSequences = false
  1481. inlineChoices = false
  1482. inlineEnterRegion = false
  1483. inlineExitRegion = false
  1484. inlineEntries = false
  1485. }
  1486. feature SGenModel {
  1487. GenerateSGen = true
  1488. }
  1489. }
  1490. test TriggerGuardExpressions {
  1491. feature Outlet{
  1492. targetProject = targetProject
  1493. targetFolder = "gtests/TriggerGuardExpressionsTest"
  1494. libraryTargetFolder = "libraryTarget"
  1495. }
  1496. feature JUnitWrapper {
  1497. WrapToJUnit = true
  1498. }
  1499. feature FunctionInlining {
  1500. inlineReactions = false
  1501. inlineEntryActions = false
  1502. inlineExitActions = false
  1503. inlineEnterSequences = false
  1504. inlineExitSequences = false
  1505. inlineChoices = false
  1506. inlineEnterRegion = false
  1507. inlineExitRegion = false
  1508. inlineEntries = false
  1509. }
  1510. feature SGenModel {
  1511. GenerateSGen = true
  1512. }
  1513. }
  1514. test ValuedEvents {
  1515. feature Outlet{
  1516. targetProject = targetProject
  1517. targetFolder = "gtests/ValuedEventsTest"
  1518. libraryTargetFolder = "libraryTarget"
  1519. }
  1520. feature JUnitWrapper {
  1521. WrapToJUnit = true
  1522. }
  1523. feature FunctionInlining {
  1524. inlineReactions = false
  1525. inlineEntryActions = false
  1526. inlineExitActions = false
  1527. inlineEnterSequences = false
  1528. inlineExitSequences = false
  1529. inlineChoices = false
  1530. inlineEnterRegion = false
  1531. inlineExitRegion = false
  1532. inlineEntries = false
  1533. }
  1534. feature SGenModel {
  1535. GenerateSGen = true
  1536. }
  1537. }
  1538. test StatemachineKeywords {
  1539. feature Outlet{
  1540. targetProject = targetProject
  1541. targetFolder = "gtests/StatemachineKeywordsTest"
  1542. libraryTargetFolder = "libraryTarget"
  1543. }
  1544. feature JUnitWrapper {
  1545. WrapToJUnit = true
  1546. }
  1547. feature FunctionInlining {
  1548. inlineReactions = false
  1549. inlineEntryActions = false
  1550. inlineExitActions = false
  1551. inlineEnterSequences = false
  1552. inlineExitSequences = false
  1553. inlineChoices = false
  1554. inlineEnterRegion = false
  1555. inlineExitRegion = false
  1556. inlineEntries = false
  1557. }
  1558. feature SGenModel {
  1559. GenerateSGen = true
  1560. }
  1561. }
  1562. test TypeAlias {
  1563. feature Outlet{
  1564. targetProject = targetProject
  1565. targetFolder = "gtests/TypeAliasTest"
  1566. libraryTargetFolder = "libraryTarget"
  1567. }
  1568. feature JUnitWrapper {
  1569. WrapToJUnit = true
  1570. }
  1571. feature FunctionInlining {
  1572. inlineReactions = false
  1573. inlineEntryActions = false
  1574. inlineExitActions = false
  1575. inlineEnterSequences = false
  1576. inlineExitSequences = false
  1577. inlineChoices = false
  1578. inlineEnterRegion = false
  1579. inlineExitRegion = false
  1580. inlineEntries = false
  1581. }
  1582. feature SGenModel {
  1583. GenerateSGen = true
  1584. }
  1585. }
  1586. }