feat: consolidate all YAML conditionals

.devcontainer/Dockerfile

@@ -28,6 +28,7 @@ RUN \
     libgmp-dev \
     libnewlib-dev\
     libyaml-dev \
+    minisat \
     nodejs \
     npm \
     parallel \
@@ -36,7 +37,41 @@ RUN \
     python3.12-venv \
     ruby \
     ruby-dev \
-    shellcheck
+    shellcheck \
+    zlib1g-dev
+
+# build/install eqntott
+RUN  <<CMDS
+  git clone --depth=1 https://github.com/TheProjecter/eqntott.git
+  cd eqntott
+  ./configure
+  make && make install
+  cd ..
+  rm -rf eqntott
+CMDS
+
+# build/install espresso
+RUN <<CMDS
+  git clone --depth=1 https://github.com/psksvp/espresso-ab-1.0.git
+  cd espresso-ab-1.0
+  ./configure
+  make && make install
+  cd ..
+  rm -rf espresso-ab-1.0
+CMDS
+
+# build / install must
+RUN <<CMDS
+  git clone https://github.com/jar-ben/mustool.git
+  cd mustool
+  git checkout 17fa9f9542a9ce05328dfccd1cd410f05f741ab3
+  # mcsmus/mcsmus/control.cc is missing #include <cstdio>
+  sed -i -e 's/#include <signal.h>/#include <signal.h>\n#include <cstdio>/' mcsmus/mcsmus/control.cc
+  make
+  install must -m 0777 /usr/bin/must
+  cd ..
+  rm -rf mustool
+CMDS
 
 RUN apt-get clean autoclean
 RUN apt-get autoremove -y

.github/workflows/regress.yml

@@ -44,6 +44,58 @@ jobs:
           disable_search: true
           files: tools/ruby-gems/idlc/coverage/coverage.xml
           flags: idlc
+  regress-udb-unit-test:
+    runs-on: ubuntu-latest
+    env:
+      SINGULARITY: 1
+    strategy:
+      matrix:
+        test:
+          - logic
+          - conditions
+          - cli
+          - yaml_loader
+          - cfg_arch
+    steps:
+      - name: Clone Github Repo Action
+        uses: actions/checkout@v4
+      - name: singularity setup
+        uses: ./.github/actions/singularity-setup
+      - name: Run udb gem ${{ matrix.test }} unit tests
+        run: ./bin/ruby tools/ruby-gems/udb/test/test_${{ matrix.test }}.rb
+      - name: Rename coverage file
+        run: mv tools/ruby-gems/udb/coverage/.resultset.json tools/ruby-gems/udb/coverage/${{ matrix.test }}.resultset.json
+      - name: Save coverage report
+        uses: actions/upload-artifact@v4
+        with:
+          name: udb-${{ matrix.test }}-cov
+          path: tools/ruby-gems/udb/coverage/${{ matrix.test }}.resultset.json
+  regress-udb-cov-report:
+    runs-on: ubuntu-latest
+    env:
+      SINGULARITY: 1
+    needs: regress-udb-unit-test
+    steps:
+      - name: Clone Github Repo Action
+        uses: actions/checkout@v4
+      - name: singularity setup
+        uses: ./.github/actions/singularity-setup
+      - name: download coverage
+        uses: actions/download-artifact@v5
+        with:
+          pattern: udb-*-cov
+          path: _cov/udb
+          merge-multiple: true
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+      - name: Collate coverage
+        run: ./do chore:udb:collate_cov[_cov/udb]
+      - name: Upload udb coverage reports to Codecov
+        uses: codecov/codecov-action@v5
+        with:
+          token: ${{ secrets.CODECOV_TOKEN }}
+          disable_search: true
+          files: tools/ruby-gems/udb/coverage/coverage.xml
+          flags: udb
   regress-gen-isa-manual:
     runs-on: ubuntu-latest
     env:

.vscode/settings.json

@@ -1,8 +1,9 @@
 {
-  "solargraph.bundlerPath": "bin/bundle",
+  "solargraph.bundlerPath": "./bin/bundle",
   "solargraph.useBundler": true,
   "sorbet.lspConfigs": [
 
+
     {
       "id": "container",
       "name": "Sorbet (UDB)",
@@ -34,13 +35,13 @@
       "name": "Sorbet (Host)",
       "description": "Sorbet on the host",
       "command": [
-        "/usr2/dhower/.rbenv/shims/bundle",
+        "bundle",
         "exec",
         "srb",
         "typecheck",
         "--lsp",
         "--dir",
-        "tools/gems",
+        "tools/ruby-gems",
         "--ignore",
         "api_doc",
         "--ignore",
@@ -66,5 +67,11 @@
       ]
     }
   ],
-  "sorbet.selectedLspConfigId": "host"
+  "sorbet.selectedLspConfigId": "host",
+  "rubyTestExplorer.debugCommand": "bundle exec rdebug-ide",
+  "rubyTestExplorer.minitestCommand": "bundle exec rake",
+  "rubyTestExplorer.rspecCommand": "bundle exec rspec",
+  "rubyTestExplorer.testFramework": "minitest",
+  "rubyTestExplorer.minitestDirectory": "./tools/ruby-gems/idlc/test/",
+  "ipynb.experimental.serialization": false
 }

Gemfile

@@ -5,8 +5,8 @@ ruby "~> 3.2"
 # local gems in UDB
 gem "idlc", path: "tools/ruby-gems/idlc"
 gem "idl_highlighter", path: "tools/ruby-gems/idl_highlighter"
-gem "udb_helpers", path: "tools/ruby-gems/udb_helpers"
 gem "udb", path: "tools/ruby-gems/udb"
+gem "udb_helpers", path: "tools/ruby-gems/udb_helpers"
 
 source "https://rubygems.org"
 
@@ -18,12 +18,8 @@ gem "bigdecimal"
 gem "concurrent-ruby", require: "concurrent"
 gem "concurrent-ruby-ext"
 gem "json_schemer", "~> 1.0"
-# gem "pygments.rb"
 gem "rake", "~> 13.0"
-#gem "rouge"
-gem "ruby-progressbar", "~> 1.13"
 gem "sorbet-runtime"
-#gem "treetop", "1.6.12"
 gem "ttfunk", "1.7" # needed to avoid having asciidoctor-pdf dependencies pulling in a buggy version of ttunk (1.8)
 gem "webrick"
 gem "write_xlsx"