Skip to content

Redesign for Concrete Executor timeout - #1728

Merged
Domonion merged 7 commits into
mainfrom
kononov-instrumentation-process-timeout
Jan 27, 2023
Merged

Redesign for Concrete Executor timeout#1728
Domonion merged 7 commits into
mainfrom
kononov-instrumentation-process-timeout

Conversation

@Domonion

@DomonionDomonion commented Jan 20, 2023

Copy link
Copy Markdown
Collaborator

Redesign for Concrete Executor timeout

Add docs.

Description

Fix#1726

Manual tests

See #1726 for repro - should fix

Additional contest

If docker image for monitoring is not available - CI should continue even without monitoring. Added in github workflow.

Mockito warmup as it takes too much time in tests to initialize it - fixed with warmup at the start of the process.

Providing additional auxiliary log information when running in docker.

@DomonionDomonion added comp-symbolic-engine Issue is related to the symbolic execution engine comp-rd Issue is related RD comp-instrumented-process Issue is related to Instrumented process ctg-bug-fix PR is fixing a bug labels Jan 20, 2023
@DomonionDomonion self-assigned this Jan 20, 2023
@Domonion
Domonionforce-pushed the kononov-instrumentation-process-timeout branch 3 times, most recently from 14b419b to 26a4530CompareJanuary 26, 2023 12:03
@Domonion
Domonionforce-pushed the kononov-instrumentation-process-timeout branch from e7ac3f8 to c7acf0dCompareJanuary 26, 2023 16:23

@DomonionDomonion left a comment

Copy link
Copy Markdown
CollaboratorAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Comment threaddocs/ResultAndErrorHandlingApiOfTheInstrumentedProcess.md Outdated
Comment threaddocs/ResultAndErrorHandlingApiOfTheInstrumentedProcess.md Outdated
Comment thread.github/workflows/build-and-run-tests-from-branch.yml
Comment threadutbot-junit-contest/build.gradle Outdated
Domonionand others added 6 commits January 27, 2023 11:55
1. New timeouts system for contest estimator.
2. Concrete execution phases redesign
Fix#1726
Possible fix#1718
If docker image for monitoring is not available - CI should continue
even without monitoring
Mockito warmup as it takes too much time in tests to initialize it
Providing additional auxiliary log information when running in docker
Review fix
@Domonion
Domonionforce-pushed the kononov-instrumentation-process-timeout branch from 420ea70 to ba0e82fCompareJanuary 27, 2023 08:56
@Domonion
Domonion enabled auto-merge (squash) January 27, 2023 08:56
@Domonion
Domonion merged commit eaf4b55 into mainJan 27, 2023
@Domonion
Domonion deleted the kononov-instrumentation-process-timeout branch January 27, 2023 09:21
@alisevychalisevych added this to the 2023.03 Release milestone Mar 21, 2023
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

comp-instrumented-processIssue is related to Instrumented processcomp-rdIssue is related RDcomp-symbolic-engineIssue is related to the symbolic execution enginectg-bug-fixPR is fixing a bug

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

UtExecutionInstrumentation does not respect timeout in concrete execution

3 participants

@Domonion@sergeypospelov@alisevych