From f5a08cc54e41de2b624a318096dfeedfe82aef31 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 31 Jul 2021 17:57:36 -0700
Subject: [PATCH] add wip

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 .github/workflows/wip.yml        | 30 ++++++++++++++++++++++++++++++
 src/ast/fpa/fpa2bv_converter.cpp |  1 +
 2 files changed, 31 insertions(+)
 create mode 100644 .github/workflows/wip.yml

diff --git a/.github/workflows/wip.yml b/.github/workflows/wip.yml
new file mode 100644
index 000000000..4173d7985
--- /dev/null
+++ b/.github/workflows/wip.yml
@@ -0,0 +1,30 @@
+name: Open Issues
+
+on:
+  push:
+    branches: [ master ]
+
+env:
+  BUILD_TYPE: Debug
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v2
+
+    - name: Configure CMake
+      run: cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}}
+
+    - name: Build
+      # Build your program with the given configuration
+      run: cmake --build ${{github.workspace}}/build --target install --config ${{env.BUILD_TYPE}}
+
+    - name: Clone z3test
+      run: git clone https://github.com/z3prover/z3test z3test
+    
+    - name: Run regressions
+      run: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/issues    
+      
+      
diff --git a/src/ast/fpa/fpa2bv_converter.cpp b/src/ast/fpa/fpa2bv_converter.cpp
index a654e6070..243e3b378 100644
--- a/src/ast/fpa/fpa2bv_converter.cpp
+++ b/src/ast/fpa/fpa2bv_converter.cpp
@@ -3815,6 +3815,7 @@ void fpa2bv_converter::mk_rounding_mode(decl_kind k, expr_ref & result)
     }
 
     result = m_util.mk_bv2rm(result);
+    std::cout << "Rounding: " << result << "\n";
 }
 
 void fpa2bv_converter::dbg_decouple(const char * prefix, expr_ref & e) {