Skip to content

Set Evaluation#exc_result ...#1017

Merged
rocky merged 1 commit intomasterfrom
option-e-exit-status
Nov 21, 2020
Merged

Set Evaluation#exc_result ...#1017
rocky merged 1 commit intomasterfrom
option-e-exit-status

Conversation

@rocky
Copy link
Copy Markdown
Member

@rocky rocky commented Nov 21, 2020

to capture Aborted, Timeout, Overflow, etc.

  • blacken evaluation.py
  • In CLI "-e" option pass on eval exc_result status

to capture Aborted, Timeout, Overflow, etc.

* blacken evaluation.py
* In CLI "-e" option pass on eval exc_result status
@rocky rocky requested review from GarkGarcia and mmatera November 21, 2020 19:44
@rocky rocky merged commit 293d582 into master Nov 21, 2020
@rocky rocky deleted the option-e-exit-status branch December 10, 2020 21:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant