Skip to content

Commit a5df517

Browse files
tamarinvs19tamarinvs19
authored
Merge branch 'main' into tamarinvs19/python-codegen
2 parents 52eb7a9 + 6b884b7 commit a5df517

File tree

122 files changed

+2179
-1160
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

122 files changed

+2179
-1160
lines changed

‎.github/pull_request_template.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,10 @@ Please delete options that are not relevant.
1616

1717
# How Has This Been Tested?
1818

19+
## Regression and integration tests
20+
21+
Please, provide regression or integration tests for your code changes. If you don't do that, the reviewer can and highly likely **_will reject_** the PR. It is the contributor's responsibility to provide such tests or to reason why they are missing.
22+
1923
## Automated Testing
2024

2125
Specify tests that help to verify the change automatically.

‎.github/workflows/build-and-run-tests-from-branch.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -131,7 +131,7 @@ jobs:
131131
name: utbot_temp ${{ matrix.project.PART_NAME }}
132132
path: |
133133
/tmp/UTBot/generated*/*
134-
/tmp/UTBot/utbot-childprocess-errors/*
134+
/tmp/UTBot/utbot-instrumentedprocess-errors/*
135135
- name: Upload test report if tests have failed
136136
if: ${{ failure() }}
137137
uses: actions/upload-artifact@v3

‎.github/workflows/run-chosen-tests-from-branch.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@ jobs:
6767
name: generated-tests
6868
path: |
6969
/tmp/UTBot/generated*/*
70-
/tmp/UTBot/utbot-childprocess-errors/*
70+
/tmp/UTBot/utbot-instrumentedprocess-errors/*
7171
- name: Upload utbot-framework logs
7272
if: ${{ always() && github.event.inputs.project-name == 'utbot-framework' }}
7373
uses: actions/upload-artifact@v3

‎.run/Debug All.run.xml

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
<component name="ProjectRunConfigurationManager">
2+
<configuration default="false" name="Debug All" type="CompoundRunConfigurationType">
3+
<toRun name="Run IDE" type="GradleRunConfiguration" />
4+
<toRun name="Listen for Engine Process" type="Remote" />
5+
<toRun name="Listen for Instrumented Process" type="Remote" />
6+
<method v="2" />
7+
</configuration>
8+
</component>

‎.run/Debug Engine Process.run.xml

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
<component name="ProjectRunConfigurationManager">
2+
<configuration default="false" name="Debug Engine Process" type="CompoundRunConfigurationType">
3+
<toRun name="Run IDE" type="GradleRunConfiguration" />
4+
<toRun name="Listen for Engine Process" type="Remote" />
5+
<method v="2" />
6+
</configuration>
7+
</component>

‎.run/Debug Instrumented Process.run.xml

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
<component name="ProjectRunConfigurationManager">
2+
<configuration default="false" name="Debug Instrumented Process" type="CompoundRunConfigurationType">
3+
<toRun name="Run IDE" type="GradleRunConfiguration" />
4+
<toRun name="Listen for Instrumented Process" type="Remote" />
5+
<method v="2" />
6+
</configuration>
7+
</component>

‎.run/Listen for Engine Process.run.xml

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
<component name="ProjectRunConfigurationManager">
2+
<configuration default="false" name="Listen for Engine Process" type="Remote" folderName="Utility Configurations">
3+
<option name="USE_SOCKET_TRANSPORT" value="true" />
4+
<option name="SERVER_MODE" value="true" />
5+
<option name="SHMEM_ADDRESS" />
6+
<option name="HOST" value="localhost" />
7+
<option name="PORT" value="5005" />
8+
<option name="AUTO_RESTART" value="true" />
9+
<RunnerSettings RunnerId="Debug">
10+
<option name="DEBUG_PORT" value="5005" />
11+
<option name="LOCAL" value="false" />
12+
</RunnerSettings>
13+
<method v="2" />
14+
</configuration>
15+
</component>

‎.run/Listen for Instrumented Process.run.xml

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
<component name="ProjectRunConfigurationManager">
2+
<configuration default="false" name="Listen for Instrumented Process" type="Remote" folderName="Utility Configurations">
3+
<option name="USE_SOCKET_TRANSPORT" value="true" />
4+
<option name="SERVER_MODE" value="true" />
5+
<option name="SHMEM_ADDRESS" />
6+
<option name="HOST" value="localhost" />
7+
<option name="PORT" value="5006" />
8+
<option name="AUTO_RESTART" value="true" />
9+
<RunnerSettings RunnerId="Debug">
10+
<option name="DEBUG_PORT" value="5006" />
11+
<option name="LOCAL" value="false" />
12+
</RunnerSettings>
13+
<method v="2" />
14+
</configuration>
15+
</component>

‎.run/Run IDE.run.xml

Lines changed: 23 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,23 @@
1+
<component name="ProjectRunConfigurationManager">
2+
<configuration default="false" name="Run IDE" type="GradleRunConfiguration" factoryName="Gradle">
3+
<ExternalSystemSettings>
4+
<option name="executionName" />
5+
<option name="externalProjectPath" value="$PROJECT_DIR$/utbot-intellij" />
6+
<option name="externalSystemIdString" value="GRADLE" />
7+
<option name="scriptParameters" value="" />
8+
<option name="taskDescriptions">
9+
<list />
10+
</option>
11+
<option name="taskNames">
12+
<list>
13+
<option value="runIde" />
14+
</list>
15+
</option>
16+
<option name="vmOptions" />
17+
</ExternalSystemSettings>
18+
<ExternalSystemDebugServerProcess>true</ExternalSystemDebugServerProcess>
19+
<ExternalSystemReattachDebugProcess>true</ExternalSystemReattachDebugProcess>
20+
<DebugAllEnabled>false</DebugAllEnabled>
21+
<method v="2" />
22+
</configuration>
23+
</component>

0 commit comments

Comments
 (0)