Skip to content
Snippets Groups Projects
Unverified Commit e0d2e618 authored by Mohamed Gaber's avatar Mohamed Gaber Committed by GitHub
Browse files

Remove LEC (#2126)

- Remove `LEC_ENABLE` and `logic_equiv_check`
parent 77eb5ffc
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment