Merge pull request #594 from OffchainLabs/function-centric-codegen

Function centric codegen

Author: rachel-bousfield

.github/workflows/ci.yml

@@ -98,16 +98,15 @@ jobs:
           sudo npm install -g yarn && cd contracts && yarn install
 
       - name: Make and test ArbOS
-        run: make clean && make
+        run: make clean && make -j ci compile_options="-w"
 
-      - name: Check if ArbOS changed
+      - name: Check if ArbOS or replayTests changed
         run: git update-index --refresh && git diff-index HEAD --
 
       - name: Create code-coverage files if supported for rust ${{ matrix.rust }}
         if: matrix.rust == 'nightly'
         run: |
           grcov . --binary-path ./target/release/ -s . -t lcov --branch --ignore-not-existing --ignore "/*" -o lcov.info
-          make coverage
 
       - name: Upload to codecov.io
         uses: codecov/codecov-action@v1
@@ -124,7 +123,7 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v1
-        
+
       - name: Install dependencies
         run: |
           sudo add-apt-repository -y ppa:longsleep/golang-backports
@@ -138,6 +137,7 @@ jobs:
           #   git clone -b v6.11.4 https://github.com/facebook/rocksdb
           #   cd rocksdb && make shared_lib && sudo make install
           #
+          curl -sSL "https://github.com/gotestyourself/gotestsum/releases/download/v1.7.0/gotestsum_1.7.0_linux_amd64.tar.gz" | sudo tar -xz -C /usr/local/bin gotestsum
 
       - name: Clone Arbitrum
         run: |
@@ -147,6 +147,8 @@ jobs:
       - name: Copy over this branch's ArbOS
         run: |
           rm -r arbitrum/packages/arb-os/*
+          # We'd need `make testlogs` to generate these files
+          #   cp -r testlogs/* arbitrum/packages/arb-avm-cpp/tests/arbos-cases/
           mv * arbitrum/packages/arb-os/ || true
 
       - name: Build Arbitrum
@@ -158,14 +160,14 @@ jobs:
 
       - name: Test Node's C++ Database
         run: |
-          ./arbitrum/packages/arb-avm-cpp/debug/bin/avm_tests
-
-      - name: Test Node's RPC
-        run: |
-          cd arbitrum/packages/arb-rpc-node/
-          go test ./...
+          ./arbitrum/packages/arb-avm-cpp/build/bin/avm_tests
 
       - name: Test Node's Core
         run: |
           cd arbitrum/packages/arb-node-core/
-          go test ./...
+          gotestsum --format testname | tee issues | grep FAIL
+
+      - name: Test Node's RPC
+        run: |
+          cd arbitrum/packages/arb-rpc-node/
+          gotestsum --format testname | tee issues | grep FAIL

.gitignore

@@ -18,7 +18,6 @@ arb_os/contractTemplates.mini
 .idea
 evm-tests/.travis.yml
 evm-test-logs/*
-**.cov
 **.bkp
 **~
 lcov.info
@@ -34,3 +33,14 @@ arb_os/save_bridge_for_debugging.mini
 # Tooling
 flamegraph.svg
 perf.data
+**.dot
+
+# coverage files
+**.all
+**.cov
+**.partial
+
+# auto-generated files
+.make/
+arb_os/bridge_arbos_versions.mini
+arb_os/arbos-upgrade-base.mexe

Cargo.lock

@@ -38,6 +38,7 @@ num-integer = "0.1"
 rustc-hex = "2.1.0"
 toml = "0.5.8"
 rayon = "1.5.1"
+petgraph = "0.6.0"
 
 [features]
 sparse_buffers = []