open-source-silicon.dev

<https://github.com/The-OpenROAD-Project/OpenLane/pull/1511|#1511 Fix LEC>
Pull request opened by <https://github.com/antonblanchard|antonblanchard>
Not sure how you want to fix this, but this patch partially undoes a recent change:

```
-    if { [catch {exec $::env(SYNTH_BIN) -c $::env(SCRIPTS_DIR)/yosys/logic_equiv_check.tcl -l $log |&amp; tee $::env(TERMINAL_OUTPUT)} ]}
 {
+    if { [run_yosys_script $::env(SCRIPTS_DIR)/yosys/logic_equiv_check.tcl -indexed_log $log]} {
```

There is no output from `run_yosys_script`, so it doesn't make sense to use it in a conditional. The current failure:

```
expected boolean value but got ""
    while executing
"if { [run_yosys_script $::env(SCRIPTS_DIR)/yosys/logic_equiv_check.tcl -indexed_log $log]} {
        puts_err "$::env(LEC_LHS_NETLIST) is not logicall..."
    (procedure "logic_equiv_check" line 31)
    invoked from within
```
<https://github.com/The-OpenROAD-Project/OpenLane|The-OpenROAD-Project/OpenLane>
GitHub Actions: Regression Test (Test 892)
:white_check_mark: 26 other checks have passed
26/27 successful checks