-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add feature models for SynthFeature* case studies (#37)
- Loading branch information
Showing
2 changed files
with
510 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,252 @@ | ||
<vm name="SynthFeatureLargeConfigSpace"> | ||
<binaryOptions> | ||
<configurationOption> | ||
<name>root</name> | ||
<outputString> | ||
</outputString> | ||
<prefix> | ||
</prefix> | ||
<postfix> | ||
</postfix> | ||
<parent> | ||
</parent> | ||
<impliedOptions /> | ||
<excludedOptions /> | ||
<optional>False</optional> | ||
</configurationOption> | ||
<configurationOption> | ||
<name>feature_1</name> | ||
<outputString>--f1</outputString> | ||
<prefix></prefix> | ||
<postfix></postfix> | ||
<parent>root</parent> | ||
<impliedOptions /> | ||
<excludedOptions /> | ||
<optional>True</optional> | ||
<locations> | ||
<sourceRange> | ||
<path>projects/SynthFeatureLargeConfigSpace/main.cpp</path> | ||
<start> | ||
<line>20</line> | ||
<column>8</column> | ||
</start> | ||
<end> | ||
<line>20</line> | ||
<column>10</column> | ||
</end> | ||
</sourceRange> | ||
</locations> | ||
</configurationOption> | ||
<configurationOption> | ||
<name>feature_2</name> | ||
<outputString>--f2</outputString> | ||
<prefix></prefix> | ||
<postfix></postfix> | ||
<parent>root</parent> | ||
<impliedOptions /> | ||
<excludedOptions /> | ||
<optional>True</optional> | ||
<locations> | ||
<sourceRange> | ||
<path>projects/SynthFeatureLargeConfigSpace/main.cpp</path> | ||
<start> | ||
<line>21</line> | ||
<column>8</column> | ||
</start> | ||
<end> | ||
<line>21</line> | ||
<column>10</column> | ||
</end> | ||
</sourceRange> | ||
</locations> | ||
</configurationOption> | ||
<configurationOption> | ||
<name>feature_3</name> | ||
<outputString>--f3</outputString> | ||
<prefix></prefix> | ||
<postfix></postfix> | ||
<parent>root</parent> | ||
<impliedOptions /> | ||
<excludedOptions /> | ||
<optional>True</optional> | ||
<locations> | ||
<sourceRange> | ||
<path>projects/SynthFeatureLargeConfigSpace/main.cpp</path> | ||
<start> | ||
<line>22</line> | ||
<column>8</column> | ||
</start> | ||
<end> | ||
<line>22</line> | ||
<column>10</column> | ||
</end> | ||
</sourceRange> | ||
</locations> | ||
</configurationOption> | ||
<configurationOption> | ||
<name>feature_4</name> | ||
<outputString>--f4</outputString> | ||
<prefix></prefix> | ||
<postfix></postfix> | ||
<parent>root</parent> | ||
<impliedOptions /> | ||
<excludedOptions /> | ||
<optional>True</optional> | ||
<locations> | ||
<sourceRange> | ||
<path>projects/SynthFeatureLargeConfigSpace/main.cpp</path> | ||
<start> | ||
<line>23</line> | ||
<column>8</column> | ||
</start> | ||
<end> | ||
<line>23</line> | ||
<column>10</column> | ||
</end> | ||
</sourceRange> | ||
</locations> | ||
</configurationOption> | ||
<configurationOption> | ||
<name>feature_5</name> | ||
<outputString>--f5</outputString> | ||
<prefix></prefix> | ||
<postfix></postfix> | ||
<parent>root</parent> | ||
<impliedOptions /> | ||
<excludedOptions /> | ||
<optional>True</optional> | ||
<locations> | ||
<sourceRange> | ||
<path>projects/SynthFeatureLargeConfigSpace/main.cpp</path> | ||
<start> | ||
<line>24</line> | ||
<column>8</column> | ||
</start> | ||
<end> | ||
<line>24</line> | ||
<column>10</column> | ||
</end> | ||
</sourceRange> | ||
</locations> | ||
</configurationOption> | ||
<configurationOption> | ||
<name>feature_6</name> | ||
<outputString>--f6</outputString> | ||
<prefix></prefix> | ||
<postfix></postfix> | ||
<parent>root</parent> | ||
<impliedOptions /> | ||
<excludedOptions /> | ||
<optional>True</optional> | ||
<locations> | ||
<sourceRange> | ||
<path>projects/SynthFeatureLargeConfigSpace/main.cpp</path> | ||
<start> | ||
<line>25</line> | ||
<column>8</column> | ||
</start> | ||
<end> | ||
<line>25</line> | ||
<column>10</column> | ||
</end> | ||
</sourceRange> | ||
</locations> | ||
</configurationOption> | ||
<configurationOption> | ||
<name>feature_7</name> | ||
<outputString>--f7</outputString> | ||
<prefix></prefix> | ||
<postfix></postfix> | ||
<parent>root</parent> | ||
<impliedOptions /> | ||
<excludedOptions /> | ||
<optional>True</optional> | ||
<locations> | ||
<sourceRange> | ||
<path>projects/SynthFeatureLargeConfigSpace/main.cpp</path> | ||
<start> | ||
<line>26</line> | ||
<column>8</column> | ||
</start> | ||
<end> | ||
<line>26</line> | ||
<column>10</column> | ||
</end> | ||
</sourceRange> | ||
</locations> | ||
</configurationOption> | ||
<configurationOption> | ||
<name>feature_8</name> | ||
<outputString>--f8</outputString> | ||
<prefix></prefix> | ||
<postfix></postfix> | ||
<parent>root</parent> | ||
<impliedOptions /> | ||
<excludedOptions /> | ||
<optional>True</optional> | ||
<locations> | ||
<sourceRange> | ||
<path>projects/SynthFeatureLargeConfigSpace/main.cpp</path> | ||
<start> | ||
<line>27</line> | ||
<column>8</column> | ||
</start> | ||
<end> | ||
<line>27</line> | ||
<column>10</column> | ||
</end> | ||
</sourceRange> | ||
</locations> | ||
</configurationOption> | ||
<configurationOption> | ||
<name>feature_9</name> | ||
<outputString>--f9</outputString> | ||
<prefix></prefix> | ||
<postfix></postfix> | ||
<parent>root</parent> | ||
<impliedOptions /> | ||
<excludedOptions /> | ||
<optional>True</optional> | ||
<locations> | ||
<sourceRange> | ||
<path>projects/SynthFeatureLargeConfigSpace/main.cpp</path> | ||
<start> | ||
<line>28</line> | ||
<column>8</column> | ||
</start> | ||
<end> | ||
<line>28</line> | ||
<column>10</column> | ||
</end> | ||
</sourceRange> | ||
</locations> | ||
</configurationOption> | ||
<configurationOption> | ||
<name>feature_10</name> | ||
<outputString>--f10</outputString> | ||
<prefix></prefix> | ||
<postfix></postfix> | ||
<parent>root</parent> | ||
<impliedOptions /> | ||
<excludedOptions /> | ||
<optional>True</optional> | ||
<locations> | ||
<sourceRange> | ||
<path>projects/SynthFeatureLargeConfigSpace/main.cpp</path> | ||
<start> | ||
<line>29</line> | ||
<column>8</column> | ||
</start> | ||
<end> | ||
<line>29</line> | ||
<column>10</column> | ||
</end> | ||
</sourceRange> | ||
</locations> | ||
</configurationOption> | ||
</binaryOptions> | ||
<numericOptions/> | ||
<booleanConstraints/> | ||
<nonBooleanConstraints/> | ||
<mixedConstraints/> | ||
</vm> |
Oops, something went wrong.