Skip to content

Commit b19ec41

Browse files
committed
Add Test for SolverChecker (#1386)
1 parent ccab2a0 commit b19ec41

File tree

10 files changed

+700
-7
lines changed

10 files changed

+700
-7
lines changed

code/languages/org.iets3.opensource/languages/test.org.iets3.analysis.base.solvable/models/test.org.iets3.analysis.base.solvable.behavior.mps

Lines changed: 111 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -146,6 +146,10 @@
146146
<concept id="2068944020170241612" name="jetbrains.mps.baseLanguage.javadoc.structure.ClassifierDocComment" flags="ng" index="3UR2Jj" />
147147
</language>
148148
<language id="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation">
149+
<concept id="5455284157994012186" name="jetbrains.mps.lang.quotation.structure.NodeBuilderInitLink" flags="ng" index="2pIpSj">
150+
<reference id="5455284157994012188" name="link" index="2pIpSl" />
151+
<child id="1595412875168045827" name="initValue" index="28nt2d" />
152+
</concept>
149153
<concept id="5455284157993911077" name="jetbrains.mps.lang.quotation.structure.NodeBuilderInitProperty" flags="ng" index="2pJxcG">
150154
<reference id="5455284157993911078" name="property" index="2pJxcJ" />
151155
<child id="1595412875168045201" name="initValue" index="28ntcv" />
@@ -160,6 +164,9 @@
160164
<concept id="6985522012210254362" name="jetbrains.mps.lang.quotation.structure.NodeBuilderPropertyExpression" flags="nn" index="WxPPo">
161165
<child id="6985522012210254363" name="expression" index="WxPPp" />
162166
</concept>
167+
<concept id="8182547171709752110" name="jetbrains.mps.lang.quotation.structure.NodeBuilderExpression" flags="nn" index="36biLy">
168+
<child id="8182547171709752112" name="expression" index="36biLW" />
169+
</concept>
163170
</language>
164171
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
165172
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
@@ -168,6 +175,9 @@
168175
<concept id="1138056022639" name="jetbrains.mps.lang.smodel.structure.SPropertyAccess" flags="nn" index="3TrcHB">
169176
<reference id="1138056395725" name="property" index="3TsBF5" />
170177
</concept>
178+
<concept id="1138056143562" name="jetbrains.mps.lang.smodel.structure.SLinkAccess" flags="nn" index="3TrEf2">
179+
<reference id="1138056516764" name="link" index="3Tt5mk" />
180+
</concept>
171181
</language>
172182
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
173183
<concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
@@ -452,5 +462,106 @@
452462
</node>
453463
</node>
454464
</node>
465+
<node concept="13h7C7" id="1fRru3Du4P9">
466+
<ref role="13h7C2" to="6w03:1fRru3Du4P8" resolve="UITestSolverTask" />
467+
<node concept="13hLZK" id="1fRru3Du4Pa" role="13h7CW">
468+
<node concept="3clFbS" id="1fRru3Du4Pb" role="2VODD2" />
469+
</node>
470+
<node concept="13i0hz" id="1fRru3Du4Ps" role="13h7CS">
471+
<property role="TrG5h" value="run" />
472+
<ref role="13i0hy" to="1jcu:7rOSrvnGeUQ" resolve="run" />
473+
<node concept="3Tm1VV" id="1fRru3Du4Pt" role="1B3o_S" />
474+
<node concept="3clFbS" id="1fRru3Du4Pw" role="3clF47">
475+
<node concept="3clFbF" id="1fRru3Du6cq" role="3cqZAp">
476+
<node concept="2YIFZM" id="1fRru3Du6lD" role="3clFbG">
477+
<ref role="37wK5l" to="gdgh:1E4g5b2MHto" resolve="make" />
478+
<ref role="1Pybhc" to="gdgh:5zG5$Lyex1G" resolve="IResult" />
479+
<node concept="3clFbT" id="1fRru3Du6_p" role="37wK5m" />
480+
<node concept="Rm8GO" id="1fRru3Du7Hr" role="37wK5m">
481+
<ref role="Rm8GQ" to="gdgh:57dmM_UsBRA" resolve="Error" />
482+
<ref role="1Px2BO" to="gdgh:57dmM_Us_jZ" resolve="IResult.MessageType" />
483+
</node>
484+
<node concept="Xl_RD" id="1fRru3Du7Mg" role="37wK5m">
485+
<property role="Xl_RC" value="UITest errors propagated" />
486+
</node>
487+
<node concept="2YIFZM" id="1fRru3Du91w" role="37wK5m">
488+
<ref role="37wK5l" to="33ny:~Collections.singleton(java.lang.Object)" resolve="singleton" />
489+
<ref role="1Pybhc" to="33ny:~Collections" resolve="Collections" />
490+
<node concept="2OqwBi" id="32V3Yf$VWuM" role="37wK5m">
491+
<node concept="13iPFW" id="32V3Yf$VVJt" role="2Oq$k0" />
492+
<node concept="3TrEf2" id="32V3Yf$VXeQ" role="2OqNvi">
493+
<ref role="3Tt5mk" to="6w03:32V3Yf$VOIg" resolve="target" />
494+
</node>
495+
</node>
496+
</node>
497+
<node concept="10Nm6u" id="1fRru3DuaRl" role="37wK5m" />
498+
</node>
499+
</node>
500+
</node>
501+
<node concept="3uibUv" id="1fRru3Du4Px" role="3clF45">
502+
<ref role="3uigEE" to="gdgh:5zG5$Lyex1G" resolve="IResult" />
503+
</node>
504+
</node>
505+
<node concept="13i0hz" id="1fRru3Du4P$" role="13h7CS">
506+
<property role="TrG5h" value="finishAndCleanup" />
507+
<ref role="13i0hy" to="1jcu:7rOSrvnHe0i" resolve="finishAndCleanup" />
508+
<node concept="3Tm1VV" id="1fRru3Du4P_" role="1B3o_S" />
509+
<node concept="3clFbS" id="1fRru3Du4PC" role="3clF47" />
510+
<node concept="3cqZAl" id="1fRru3Du4PD" role="3clF45" />
511+
</node>
512+
<node concept="13i0hz" id="1fRru3Du4PE" role="13h7CS">
513+
<property role="TrG5h" value="getWarning" />
514+
<ref role="13i0hy" to="1jcu:7rOSrvnH60y" resolve="getWarning" />
515+
<node concept="3Tm1VV" id="1fRru3Du4PF" role="1B3o_S" />
516+
<node concept="3clFbS" id="1fRru3Du4PI" role="3clF47">
517+
<node concept="3clFbF" id="1fRru3Du4PL" role="3cqZAp">
518+
<node concept="Xl_RD" id="1fRru3Du4PK" role="3clFbG">
519+
<property role="Xl_RC" value="" />
520+
</node>
521+
</node>
522+
</node>
523+
<node concept="17QB3L" id="1fRru3Du4PJ" role="3clF45" />
524+
</node>
525+
<node concept="13i0hz" id="1fRru3Du4PM" role="13h7CS">
526+
<property role="TrG5h" value="setCreationTime" />
527+
<ref role="13i0hy" to="1jcu:4u26ju1JEr$" resolve="setCreationTime" />
528+
<node concept="3Tm1VV" id="1fRru3Du4PN" role="1B3o_S" />
529+
<node concept="3clFbS" id="1fRru3Du4PS" role="3clF47" />
530+
<node concept="37vLTG" id="1fRru3Du4PT" role="3clF46">
531+
<property role="TrG5h" value="t" />
532+
<node concept="3cpWsb" id="1fRru3Du4PU" role="1tU5fm" />
533+
</node>
534+
<node concept="3cqZAl" id="1fRru3Du4PV" role="3clF45" />
535+
</node>
536+
</node>
537+
<node concept="13h7C7" id="1fRru3DubfG">
538+
<ref role="13h7C2" to="6w03:1fRru3DubfE" resolve="UITestSolvable" />
539+
<node concept="13hLZK" id="1fRru3DubfH" role="13h7CW">
540+
<node concept="3clFbS" id="1fRru3DubfI" role="2VODD2" />
541+
</node>
542+
<node concept="13i0hz" id="1fRru3DubgL" role="13h7CS">
543+
<property role="TrG5h" value="createSolverTask" />
544+
<ref role="13i0hy" to="1jcu:4pkidg67Lgb" resolve="createSolverTask" />
545+
<node concept="3Tm1VV" id="1fRru3DubgM" role="1B3o_S" />
546+
<node concept="3clFbS" id="1fRru3Dubh5" role="3clF47">
547+
<node concept="3clFbF" id="1fRru3Dubyz" role="3cqZAp">
548+
<node concept="2pJPEk" id="1fRru3Dubyx" role="3clFbG">
549+
<node concept="2pJPED" id="1fRru3Dubyy" role="2pJPEn">
550+
<ref role="2pJxaS" to="6w03:1fRru3Du4P8" resolve="UITestSolverTask" />
551+
<node concept="2pIpSj" id="32V3Yf$VQ0i" role="2pJxcM">
552+
<ref role="2pIpSl" to="6w03:32V3Yf$VOIg" resolve="target" />
553+
<node concept="36biLy" id="32V3Yf$VQqn" role="28nt2d">
554+
<node concept="13iPFW" id="32V3Yf$VQye" role="36biLW" />
555+
</node>
556+
</node>
557+
</node>
558+
</node>
559+
</node>
560+
</node>
561+
<node concept="3Tqbb2" id="1fRru3Dubh6" role="3clF45">
562+
<ref role="ehGHo" to="l80j:7rOSrvnFUQX" resolve="AbstractSolverTask" />
563+
</node>
564+
</node>
565+
</node>
455566
</model>
456567

code/languages/org.iets3.opensource/languages/test.org.iets3.analysis.base.solvable/models/test.org.iets3.analysis.base.solvable.editor.mps

Lines changed: 38 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,43 @@
66
<use id="aee9cad2-acd4-4608-aef2-0004f6a1cdbd" name="jetbrains.mps.lang.actions" version="4" />
77
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
88
</languages>
9-
<imports />
10-
<registry />
9+
<imports>
10+
<import index="6w03" ref="r:2b6823f7-1c48-47b9-9a41-e04ac80f7887(test.org.iets3.analysis.base.solvable.structure)" implicit="true" />
11+
<import index="tpco" ref="r:00000000-0000-4000-0000-011c89590284(jetbrains.mps.lang.core.editor)" implicit="true" />
12+
</imports>
13+
<registry>
14+
<language id="18bc6592-03a6-4e29-a83a-7ff23bde13ba" name="jetbrains.mps.lang.editor">
15+
<concept id="1071666914219" name="jetbrains.mps.lang.editor.structure.ConceptEditorDeclaration" flags="ig" index="24kQdi" />
16+
<concept id="1106270549637" name="jetbrains.mps.lang.editor.structure.CellLayout_Horizontal" flags="nn" index="2iRfu4" />
17+
<concept id="1080736578640" name="jetbrains.mps.lang.editor.structure.BaseEditorComponent" flags="ig" index="2wURMF">
18+
<child id="1080736633877" name="cellModel" index="2wV5jI" />
19+
</concept>
20+
<concept id="1078939183254" name="jetbrains.mps.lang.editor.structure.CellModel_Component" flags="sg" stub="3162947552742194261" index="PMmxH">
21+
<reference id="1078939183255" name="editorComponent" index="PMmxG" />
22+
</concept>
23+
<concept id="1073389446423" name="jetbrains.mps.lang.editor.structure.CellModel_Collection" flags="sn" stub="3013115976261988961" index="3EZMnI">
24+
<child id="1106270802874" name="cellLayout" index="2iSdaV" />
25+
<child id="1073389446424" name="childCellModel" index="3EZMnx" />
26+
</concept>
27+
<concept id="1073389577006" name="jetbrains.mps.lang.editor.structure.CellModel_Constant" flags="sn" stub="3610246225209162225" index="3F0ifn">
28+
<property id="1073389577007" name="text" index="3F0ifm" />
29+
</concept>
30+
<concept id="1166049232041" name="jetbrains.mps.lang.editor.structure.AbstractComponent" flags="ng" index="1XWOmA">
31+
<reference id="1166049300910" name="conceptDeclaration" index="1XX52x" />
32+
</concept>
33+
</language>
34+
</registry>
35+
<node concept="24kQdi" id="1fRru3DubJi">
36+
<ref role="1XX52x" to="6w03:1fRru3DubfE" resolve="UITestSolvable" />
37+
<node concept="3EZMnI" id="1fRru3DubJm" role="2wV5jI">
38+
<node concept="2iRfu4" id="1fRru3DubJn" role="2iSdaV" />
39+
<node concept="3F0ifn" id="1fRru3DubJk" role="3EZMnx">
40+
<property role="3F0ifm" value="TestUI: " />
41+
</node>
42+
<node concept="PMmxH" id="1fRru3DubJr" role="3EZMnx">
43+
<ref role="PMmxG" to="tpco:2wZex4PafBj" resolve="alias" />
44+
</node>
45+
</node>
46+
</node>
1147
</model>
1248

Lines changed: 80 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,80 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<model ref="r:0d7e04b8-cacf-4df8-a9bd-879eea800d19(test.org.iets3.analysis.base.solvable.intentions)">
3+
<persistence version="9" />
4+
<languages>
5+
<use id="d7a92d38-f7db-40d0-8431-763b0c3c9f20" name="jetbrains.mps.lang.intentions" version="1" />
6+
<devkit ref="fbc25dd2-5da4-483a-8b19-70928e1b62d7(jetbrains.mps.devkit.general-purpose)" />
7+
</languages>
8+
<imports>
9+
<import index="6w03" ref="r:2b6823f7-1c48-47b9-9a41-e04ac80f7887(test.org.iets3.analysis.base.solvable.structure)" implicit="true" />
10+
<import index="1jcu" ref="r:729fa0c7-b4e4-42b1-acfe-71017c020a49(org.iets3.analysis.base.behavior)" implicit="true" />
11+
</imports>
12+
<registry>
13+
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
14+
<concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
15+
<child id="1197027771414" name="operand" index="2Oq$k0" />
16+
<child id="1197027833540" name="operation" index="2OqNvi" />
17+
</concept>
18+
<concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
19+
<child id="1137022507850" name="body" index="2VODD2" />
20+
</concept>
21+
<concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
22+
<property id="1070475926801" name="value" index="Xl_RC" />
23+
</concept>
24+
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
25+
<child id="1068580123156" name="expression" index="3clFbG" />
26+
</concept>
27+
<concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
28+
<child id="1068581517665" name="statement" index="3cqZAp" />
29+
</concept>
30+
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ngI" index="1ndlxa">
31+
<reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
32+
</concept>
33+
</language>
34+
<language id="d7a92d38-f7db-40d0-8431-763b0c3c9f20" name="jetbrains.mps.lang.intentions">
35+
<concept id="1192794744107" name="jetbrains.mps.lang.intentions.structure.IntentionDeclaration" flags="ig" index="2S6QgY" />
36+
<concept id="1192794782375" name="jetbrains.mps.lang.intentions.structure.DescriptionBlock" flags="in" index="2S6ZIM" />
37+
<concept id="1192795911897" name="jetbrains.mps.lang.intentions.structure.ExecuteBlock" flags="in" index="2Sbjvc" />
38+
<concept id="1192796902958" name="jetbrains.mps.lang.intentions.structure.ConceptFunctionParameter_node" flags="nn" index="2Sf5sV" />
39+
<concept id="2522969319638091381" name="jetbrains.mps.lang.intentions.structure.BaseIntentionDeclaration" flags="ig" index="2ZfUlf">
40+
<reference id="2522969319638198290" name="forConcept" index="2ZfgGC" />
41+
<child id="2522969319638198291" name="executeFunction" index="2ZfgGD" />
42+
<child id="2522969319638093993" name="descriptionFunction" index="2ZfVej" />
43+
</concept>
44+
</language>
45+
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
46+
<concept id="1179409122411" name="jetbrains.mps.lang.smodel.structure.Node_ConceptMethodCall" flags="nn" index="2qgKlT" />
47+
</language>
48+
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
49+
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ngI" index="TrEIO">
50+
<property id="1169194664001" name="name" index="TrG5h" />
51+
</concept>
52+
</language>
53+
</registry>
54+
<node concept="2S6QgY" id="1fRru3DvxU$">
55+
<property role="TrG5h" value="runSolver" />
56+
<ref role="2ZfgGC" to="6w03:1fRru3DubfE" resolve="UITestSolvable" />
57+
<node concept="2S6ZIM" id="1fRru3DvxU_" role="2ZfVej">
58+
<node concept="3clFbS" id="1fRru3DvxUA" role="2VODD2">
59+
<node concept="3clFbF" id="1fRru3Dvych" role="3cqZAp">
60+
<node concept="Xl_RD" id="1fRru3Dvycg" role="3clFbG">
61+
<property role="Xl_RC" value="runSolver" />
62+
</node>
63+
</node>
64+
</node>
65+
</node>
66+
<node concept="2Sbjvc" id="1fRru3DvxUB" role="2ZfgGD">
67+
<node concept="3clFbS" id="1fRru3DvxUC" role="2VODD2">
68+
<node concept="3clFbF" id="1fRru3DvytW" role="3cqZAp">
69+
<node concept="2OqwBi" id="1fRru3DvyG2" role="3clFbG">
70+
<node concept="2Sf5sV" id="1fRru3DvytV" role="2Oq$k0" />
71+
<node concept="2qgKlT" id="1fRru3Dvz20" role="2OqNvi">
72+
<ref role="37wK5l" to="1jcu:7QODtLvTFnz" resolve="runManuallyAsync" />
73+
</node>
74+
</node>
75+
</node>
76+
</node>
77+
</node>
78+
</node>
79+
</model>
80+

code/languages/org.iets3.opensource/languages/test.org.iets3.analysis.base.solvable/models/test.org.iets3.analysis.base.solvable.plugin.mps

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,6 @@
1414
<import index="hnhi" ref="r:d354209e-0bea-497f-b905-d66f72900fa8(org.iets3.analysis.base.plugin)" />
1515
<import index="l80j" ref="r:9e71c0de-f9ab-4b67-96cc-7d9c857513f6(org.iets3.analysis.base.structure)" />
1616
<import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
17-
<import index="tpc2" ref="r:00000000-0000-4000-0000-011c8959029e(jetbrains.mps.lang.editor.structure)" />
1817
<import index="90d" ref="r:421d64ed-8024-497f-aeab-8bddeb389dd2(jetbrains.mps.lang.extension.methods)" />
1918
<import index="6w03" ref="r:2b6823f7-1c48-47b9-9a41-e04ac80f7887(test.org.iets3.analysis.base.solvable.structure)" implicit="true" />
2019
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />

code/languages/org.iets3.opensource/languages/test.org.iets3.analysis.base.solvable/models/test.org.iets3.analysis.base.solvable.structure.mps

Lines changed: 28 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,31 +2,37 @@
22
<model ref="r:2b6823f7-1c48-47b9-9a41-e04ac80f7887(test.org.iets3.analysis.base.solvable.structure)">
33
<persistence version="9" />
44
<languages>
5-
<use id="982eb8df-2c96-4bd7-9963-11712ea622e5" name="jetbrains.mps.lang.resources" version="2" />
65
<devkit ref="78434eb8-b0e5-444b-850d-e7c4ad2da9ab(jetbrains.mps.devkit.aspect.structure)" />
76
</languages>
87
<imports>
98
<import index="l80j" ref="r:9e71c0de-f9ab-4b67-96cc-7d9c857513f6(org.iets3.analysis.base.structure)" />
10-
<import index="91fu" ref="r:8d20232d-87e2-425b-b4d7-a9790e401b85(de.slisson.mps.conditionalEditor.structure)" />
119
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
1210
</imports>
1311
<registry>
1412
<language id="c72da2b9-7cce-4447-8389-f407dc1158b7" name="jetbrains.mps.lang.structure">
1513
<concept id="1169125787135" name="jetbrains.mps.lang.structure.structure.AbstractConceptDeclaration" flags="ig" index="PkWjJ">
1614
<property id="6714410169261853888" name="conceptId" index="EcuMT" />
15+
<child id="1071489727083" name="linkDeclaration" index="1TKVEi" />
1716
<child id="1071489727084" name="propertyDeclaration" index="1TKVEl" />
1817
</concept>
1918
<concept id="1169127622168" name="jetbrains.mps.lang.structure.structure.InterfaceConceptReference" flags="ig" index="PrWs8">
2019
<reference id="1169127628841" name="intfc" index="PrY4T" />
2120
</concept>
2221
<concept id="1071489090640" name="jetbrains.mps.lang.structure.structure.ConceptDeclaration" flags="ig" index="1TIwiD">
22+
<property id="1096454100552" name="rootable" index="19KtqR" />
2323
<reference id="1071489389519" name="extends" index="1TJDcQ" />
2424
<child id="1169129564478" name="implements" index="PzmwI" />
2525
</concept>
2626
<concept id="1071489288299" name="jetbrains.mps.lang.structure.structure.PropertyDeclaration" flags="ig" index="1TJgyi">
2727
<property id="241647608299431129" name="propertyId" index="IQ2nx" />
2828
<reference id="1082985295845" name="dataType" index="AX2Wp" />
2929
</concept>
30+
<concept id="1071489288298" name="jetbrains.mps.lang.structure.structure.LinkDeclaration" flags="ig" index="1TJgyj">
31+
<property id="1071599776563" name="role" index="20kJfa" />
32+
<property id="1071599893252" name="sourceCardinality" index="20lbJX" />
33+
<property id="241647608299431140" name="linkId" index="IQ2ns" />
34+
<reference id="1071599976176" name="target" index="20lvS9" />
35+
</concept>
3036
</language>
3137
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
3238
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ngI" index="TrEIO">
@@ -84,5 +90,25 @@
8490
<ref role="PrY4T" to="l80j:4pkidg67Lfn" resolve="ISolvable" />
8591
</node>
8692
</node>
93+
<node concept="1TIwiD" id="1fRru3Du4P8">
94+
<property role="EcuMT" value="1438739418725240136" />
95+
<property role="TrG5h" value="UITestSolverTask" />
96+
<ref role="1TJDcQ" to="l80j:7rOSrvnFUQX" resolve="AbstractSolverTask" />
97+
<node concept="1TJgyj" id="32V3Yf$VOIg" role="1TKVEi">
98+
<property role="IQ2ns" value="3511417805938314128" />
99+
<property role="20kJfa" value="target" />
100+
<property role="20lbJX" value="fLJekj4/_1" />
101+
<ref role="20lvS9" to="tpck:gw2VY9q" resolve="BaseConcept" />
102+
</node>
103+
</node>
104+
<node concept="1TIwiD" id="1fRru3DubfE">
105+
<property role="EcuMT" value="1438739418725266410" />
106+
<property role="TrG5h" value="UITestSolvable" />
107+
<property role="19KtqR" value="true" />
108+
<ref role="1TJDcQ" to="tpck:gw2VY9q" resolve="BaseConcept" />
109+
<node concept="PrWs8" id="1fRru3DubfF" role="PzmwI">
110+
<ref role="PrY4T" to="l80j:4pkidg67Lfn" resolve="ISolvable" />
111+
</node>
112+
</node>
87113
</model>
88114

0 commit comments

Comments
 (0)