Skip to content
This repository has been archived by the owner on Oct 3, 2021. It is now read-only.

Seed more aws bugs #1215

Merged
merged 6 commits into from
Nov 9, 2020
Merged

Seed more aws bugs #1215

merged 6 commits into from
Nov 9, 2020

Conversation

zvonimir
Copy link
Contributor

@zvonimir zvonimir commented Nov 6, 2020

I am moving slowly since I am doing it manually.
Here are more seeded bugs that are addressing #1183.

@zvonimir zvonimir added C Task in language C new benchmarks labels Nov 6, 2020
Copy link
Member

@dbeyer dbeyer left a comment

Choose a reason for hiding this comment

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

We need to introduce bugs, and at the same time keep the originals.

@dbeyer dbeyer merged commit 64b907c into sosy-lab:master Nov 9, 2020
@zvonimir zvonimir deleted the seed-more-aws-bugs branch November 11, 2020 18:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
C Task in language C new benchmarks
Development

Successfully merging this pull request may close these issues.

2 participants