Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

QUIT_ON_SYNTH_CHECKS doesn't quit on a single yosys error. #1822

Closed
kareefardi opened this issue May 25, 2023 · 0 comments · Fixed by #1828
Closed

QUIT_ON_SYNTH_CHECKS doesn't quit on a single yosys error. #1822

kareefardi opened this issue May 25, 2023 · 0 comments · Fixed by #1828
Labels
invalid This doesn't seem right

Comments

@kareefardi
Copy link
Collaborator

Description

Title.

Expected Behavior

OL quits.

Environment report

Kernel: Linux v6.1.28-060128-generic
Distribution: ubuntu 22.04
Python: v3.10.6 (OK)
Container Engine: docker v20.10.22 (OK)
OpenLane Git Version: d0371f30a3cbbcd275107b530b7db0db0e1055ac
pip: INSTALLED
python-venv: INSTALLED
---
PDK Version Verification Status: OK
---
Git Log (Last 3 Commits)

d0371f30 2023-05-24T10:49:44+03:00 Revert "[BOT] Update magic (#1778)" (#1818) - Kareem Farid -  (HEAD -> master, origin/master, origin/HEAD)
69c91f0c 2023-05-24T10:22:12+03:00 Port fix from OpenSTA and update OpenROAD (#1817) - Kareem Farid -  ()
ee14c3eb 2023-05-23T16:19:10+03:00 Add `RSZ_DONT_TOUCH` list (#1798) - Kareem Farid -  (tag: 2023.05.24)
---
Git Remotes

donn	https://github.com/donn/openlane.git (fetch)
donn	https://github.com/donn/openlane.git (push)
fork	git@github.com:kareefardi/OpenLane.git (fetch)
fork	git@github.com:kareefardi/OpenLane.git (push)
origin	git@github.com:The-OpenROAD-Project/OpenLane.git (fetch)
origin	git@github.com:The-OpenROAD-Project/OpenLane.git (push)

Reproduction material

Relevant log output

<Will upload>
@kareefardi kareefardi added bug Something isn't working invalid This doesn't seem right and removed bug Something isn't working labels May 29, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
invalid This doesn't seem right
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant