Merge pull request #336 from The-OpenROAD-Project-staging/add-difference-found

Add GHA to check for differences found in .ok files

Author: maliberty

.github/workflows/github-actions-are-differences-found.yml

@@ -0,0 +1,20 @@
+name: Check that OK files are up to date
+
+on:
+  pull_request:
+
+jobs:
+  No-Diffs-In-Ok-Files:
+    runs-on: ${{ vars.USE_SELF_HOSTED == 'true' && 'self-hosted' || 'ubuntu-latest' }}
+    steps:
+      - name: Check out repository code
+        uses: actions/checkout@v6
+        with:
+          fetch-depth: 0
+      - name: Check ok files
+        run: |
+          set +e
+          grep --include="*.ok" -Rn "Differences found "
+          if [[ "$?" == "0" ]]; then
+            exit 1
+          fi

util/test/util_log_redirect.ok

@@ -64,7 +64,6 @@ Path Type: min
 
 
 No paths found.
-Warning 168: util_log_redirect.tcl line 1, unknown field nets.
 Startpoint: r3 (rising edge-triggered flip-flop clocked by clk)
 Endpoint: out (output port clocked by clk)
 Path Group: clk
@@ -76,6 +75,7 @@ Fanout     Cap    Slew   Delay    Time   Description
                           0.00    0.00   clock network delay (ideal)
                   0.00    0.00    0.00 ^ r3/CLK (DFFHQx4_ASAP7_75t_R)
      1    0.00    0.01    0.04    0.04 ^ r3/Q (DFFHQx4_ASAP7_75t_R)
+                                         out (net)
                   0.00    0.00    0.04 ^ out (out)
                                   0.04   data arrival time
 

util/test/util_log_redirect.tcl

@@ -30,7 +30,7 @@ log_begin $log_file1
 report_checks
 report_checks -path_delay min
 report_checks -from [get_ports in1] -to [get_ports out]
-report_checks -fields {slew cap input_pins nets fanout}
+report_checks -fields {slew cap input_pins net fanout}
 report_units
 
 log_end