Reinstate carbon #577
Merged
Reinstate carbon #577
Conversation
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
…r output for boogie still
- Add separate tests for KeyAbruptTerminationChallenge, one that fails for silicon and one that passes for carbon. - Added methods for extracting the current version for mono and checking mono requirements for carbon. - Extended MessageProcess and others run in one go and return all output in one go.
|
Carbon is mostly functional at this point. It only does not seem to work properly with the test suite yet. This might have to do with running parallel instances of carbon, not sure. It still needs some investigating. But running single examples should work. |
|
I have not been able to reproduce the parallel tests problem, so it seems that this branch is ready for review and merging. |
|
When reviewing, be sure to filter out .pdb and .dll using the built-in github filter for readability. |
pieter-bos
requested changes
Feb 9, 2021
…hen an executed command is not present, and add timeout and sleep to getMonoVersion for efficiency
|
Kudos, SonarCloud Quality Gate passed! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR reinstates the carbon back end. It also splits a test that verifies for carbon but not for silicon into two, namely the KeYAbruptVerificationChallenge example.