Refactor all Lua tests using a Lua testing framework

.dockerignore

@@ -14,7 +14,6 @@ build
 third-party/cryptopp-CRYPTOPP_7_0_0
 third-party/downloads
 third-party/grpc
-third-party/lua-5.3.5
 src/cartesi-machine-client
 src/cartesi-machine-server
 src/cartesi-machine-hash

.github/workflows/Dockerfile

@@ -6,16 +6,16 @@ RUN apt-get update && \
         build-essential wget git \
         libreadline-dev libboost-coroutine-dev libboost-context-dev \
         libboost-filesystem-dev libboost-log-dev libssl-dev libc-ares-dev zlib1g-dev \
-        ca-certificates automake libtool patchelf cmake pkg-config lua5.3 liblua5.3-dev \
+        ca-certificates automake libtool patchelf cmake pkg-config lua5.4 liblua5.4-dev \
         luarocks libb64-dev libcrypto++-dev nlohmann-json3-dev && \
     rm -rf /var/lib/apt/lists/*
 
-RUN luarocks install luasocket && \
-    luarocks install luasec && \
-    luarocks install luaposix && \
-    luarocks install lpeg && \
-    luarocks install md5 && \
-    luarocks install dkjson
+RUN luarocks install --lua-version=5.4 luasocket && \
+    luarocks install --lua-version=5.4 luasec && \
+    luarocks install --lua-version=5.4 luaposix && \
+    luarocks install --lua-version=5.4 lpeg && \
+    luarocks install --lua-version=5.4 md5 && \
+    luarocks install --lua-version=5.4 dkjson
 
 WORKDIR /usr/src/emulator
 COPY . .
@@ -40,7 +40,7 @@ RUN apt-get update && DEBIAN_FRONTEND="noninteractive" apt-get install -y \
     zlib1g \
     ca-certificates \
     libgomp1 \
-    lua5.3 \
+    lua5.4 \
     genext2fs \
     libb64-0d \
     libcrypto++8 \

.github/workflows/build.yml

@@ -21,7 +21,7 @@ jobs:
       - name: Install Ubuntu dependencies
         run: |
           sudo apt-get update -y
-          sudo apt-get install -y libreadline-dev libboost-context-dev libboost-coroutine-dev libboost-filesystem-dev libboost-log-dev libssl-dev libc-ares-dev zlib1g-dev ca-certificates patchelf automake cmake clang-tidy-14 clang-format-14 lua5.3 liblua5.3-dev lua-socket libb64-dev libcrypto++-dev nlohmann-json3-dev
+          sudo apt-get install -y libreadline-dev libboost-context-dev libboost-coroutine-dev libboost-filesystem-dev libboost-log-dev libssl-dev libc-ares-dev zlib1g-dev ca-certificates patchelf automake cmake clang-tidy-14 clang-format-14 lua5.4 liblua5.4-dev lua-socket libb64-dev libcrypto++-dev nlohmann-json3-dev
 
       - name: Download cache of third-party build
         run: aws s3 sync s3://cartesi-ci/${GITHUB_REPOSITORY}/cache/build-${BUILD_CACHE_VERSION} ./build && test -f ./build/`uname`_`uname -m`/lib/libcryptopp.so.7
@@ -78,12 +78,12 @@ jobs:
     runs-on: ubuntu-22.04
     steps:
       - name: Install Ubuntu dependencies
-        run: sudo apt-get update -y && sudo apt-get install -y libboost-context1.74.0 libboost-coroutine1.74.0 libboost-filesystem1.74.0 libboost-log1.74.0 libssl1.1 libc-ares2 zlib1g netcat patchelf lua5.3 lua-socket liblua5.3-dev luarocks libb64-dev libcrypto++-dev nlohmann-json3-dev
+        run: sudo apt-get update -y && sudo apt-get install -y libboost-context1.74.0 libboost-coroutine1.74.0 libboost-filesystem1.74.0 libboost-log1.74.0 libssl1.1 libc-ares2 zlib1g netcat patchelf lua5.4 lua-socket liblua5.4-dev luarocks libb64-dev libcrypto++-dev nlohmann-json3-dev
 
       - name: Install lua test dependencies
         run: |
-          sudo luarocks install md5
-          sudo luarocks install luaposix
+          sudo luarocks install --lua-version=5.4 md5
+          sudo luarocks install --lua-version=5.4 luaposix
 
       - name: Download emulator
         uses: actions/download-artifact@master
@@ -169,26 +169,26 @@ jobs:
           export PATH=/opt/cartesi/bin:$PATH
           export CARTESI_IMAGES_PATH=/opt/cartesi/share/images
           export CARTESI_TESTS_PATH=/opt/cartesi/tests
-          export LUA_PATH="./?.lua;./tests/?.lua;/opt/cartesi/share/lua/5.3/?.lua;/usr/local/share/lua/5.3/?.lua;"
-          export LUA_CPATH="/opt/cartesi/lib/lua/5.3/?.so;/usr/local/lib/lua/5.3/?.so;"
-          for x in `find tests -maxdepth 1 -type f -name "*.lua"` ; do echo -n 'CTSICTSI' | lua5.3 $x local; done
+          export LUA_PATH_5_4="/opt/cartesi/share/lua/5.4/?.lua;;"
+          export LUA_CPATH_5_4="/opt/cartesi/lib/lua/5.4/?.so;;"
+          for x in `find tests -maxdepth 1 -type f -name "*.lua"` ; do echo -n 'CTSICTSI' | lua5.4 $x local; done
 
       - name: Run grpc lua test scripts
         run: |
           export PATH=/opt/cartesi/bin:$PATH
           export CARTESI_IMAGES_PATH=/opt/cartesi/share/images
           export CARTESI_TESTS_PATH=/opt/cartesi/tests
-          export LUA_PATH="./?.lua;./tests/?.lua;/opt/cartesi/share/lua/5.3/?.lua;/usr/local/share/lua/5.3/?.lua;"
-          export LUA_CPATH="/opt/cartesi/lib/lua/5.3/?.so;/usr/local/lib/lua/5.3/?.so;"
+          export LUA_PATH_5_4="/opt/cartesi/share/lua/5.4/?.lua;;"
+          export LUA_CPATH_5_4="/opt/cartesi/lib/lua/5.4/?.so;;"
           ./tests/test-grpc-server.sh remote-cartesi-machine cartesi-machine cartesi-machine-tests $CARTESI_TESTS_PATH
 
       - name: Run jsonrpc lua test scripts
         run: |
           export PATH=/opt/cartesi/bin:$PATH
           export CARTESI_IMAGES_PATH=/opt/cartesi/share/images
           export CARTESI_TESTS_PATH=/opt/cartesi/tests
-          export LUA_PATH="./?.lua;./tests/?.lua;/opt/cartesi/share/lua/5.3/?.lua;/usr/local/share/lua/5.3/?.lua;"
-          export LUA_CPATH="/opt/cartesi/lib/lua/5.3/?.so;/usr/local/lib/lua/5.3/?.so;"
+          export LUA_PATH_5_4="/opt/cartesi/share/lua/5.4/?.lua;;"
+          export LUA_CPATH_5_4="/opt/cartesi/lib/lua/5.4/?.so;;"
           ./tests/test-jsonrpc-server.sh jsonrpc-remote-cartesi-machine cartesi-machine cartesi-machine-tests $CARTESI_TESTS_PATH
 
       - name: Run Merkle tree tests
@@ -213,11 +213,11 @@ jobs:
       - name: Install Ubuntu dependencies
         run: |
           sudo apt-get update -y
-          sudo apt-get install -y libboost-context1.74.0 libboost-coroutine1.74.0 libboost-filesystem1.74.0 libboost-log1.74.0 libssl1.1 libc-ares2 zlib1g lua5.3 lua-socket liblua5.3-dev luarocks libb64-dev libcrypto++-dev nlohmann-json3-dev
+          sudo apt-get install -y libboost-context1.74.0 libboost-coroutine1.74.0 libboost-filesystem1.74.0 libboost-log1.74.0 libssl1.1 libc-ares2 zlib1g lua5.4 lua-socket liblua5.4-dev luarocks libb64-dev libcrypto++-dev nlohmann-json3-dev
 
       - name: Install lua test dependencies
         run: |
-          sudo luarocks install luaposix
+          sudo luarocks install --lua-version=5.4 luaposix
 
       - name: Download emulator
         uses: actions/download-artifact@master
@@ -234,8 +234,8 @@ jobs:
 
       - name: Test microarchitecture interpreter
         run: |
-          export LUA_PATH="./?.lua;./tests/?.lua;/opt/cartesi/share/lua/5.3/?.lua;/usr/local/share/lua/5.3/?.lua;"
-          export LUA_CPATH="/opt/cartesi/lib/lua/5.3/?.so;/usr/local/lib/lua/5.3/?.so;"
+          export LUA_PATH_5_4="/opt/cartesi/share/lua/5.4/?.lua;;"
+          export LUA_CPATH_5_4="/opt/cartesi/lib/lua/5.4/?.so;;"
           make riscv-arch-tests JOBS=$(nproc)
 
       - name: Download test suite
@@ -286,7 +286,11 @@ jobs:
       - name: Install Ubuntu dependencies
         run: |
           sudo apt-get update -y
-          sudo apt-get install -y libreadline-dev libboost-context-dev libboost-coroutine-dev libboost-filesystem-dev libboost-log-dev libssl-dev libc-ares-dev zlib1g-dev ca-certificates patchelf automake cmake clang-tidy-14 clang-format-14 lua5.3 liblua5.3-dev lua-socket libb64-dev libcrypto++-dev nlohmann-json3-dev
+          sudo apt-get install -y libreadline-dev libboost-context-dev libboost-coroutine-dev libboost-filesystem-dev libboost-log-dev libssl-dev libc-ares-dev zlib1g-dev ca-certificates patchelf automake cmake clang-tidy-14 clang-format-14 lua5.4 liblua5.4-dev luarocks lua-socket libb64-dev libcrypto++-dev nlohmann-json3-dev
+
+      - name: Install lua test dependencies
+        run: |
+          sudo luarocks install --lua-version=5.4 luacheck
 
       - name: Download cache of third-party build
         run: aws s3 sync s3://cartesi-ci/${GITHUB_REPOSITORY}/cache/build-${BUILD_CACHE_VERSION} ./build && test -f ./build/`uname`_`uname -m`/lib/libcryptopp.so.7
@@ -303,9 +307,16 @@ jobs:
       - name: Setup update-alternatives for clang-format
         run: sudo update-alternatives --install /usr/bin/clang-format clang-format /usr/bin/clang-format-14 120
 
-      - name: Check format
+      - name: Check format (C++)
         run: make check-format
 
+      - name: Check format (Lua)
+        uses: JohnnyMorganz/stylua-action@v3
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}
+          version: 0.17.1
+          args: --indent-type Spaces --collapse-simple-statement Always --check src
+
       - name: Setup update-alternatives for clang-tidy
         run: sudo update-alternatives --install /usr/bin/clang-tidy clang-tidy /usr/bin/clang-tidy-14 120
 
@@ -324,7 +335,7 @@ jobs:
       - name: Install Ubuntu dependencies
         run: |
           sudo apt-get update -y
-          sudo apt-get install -y build-essential libreadline-dev libboost-context-dev libboost-coroutine-dev libboost-filesystem-dev libboost-log-dev libssl-dev libc-ares-dev zlib1g-dev ca-certificates patchelf automake cmake clang-tidy-14 clang-format-14 lua5.3 liblua5.3-dev luarocks lua-socket clang llvm lcov libb64-dev libcrypto++-dev nlohmann-json3-dev
+          sudo apt-get install -y build-essential libreadline-dev libboost-context-dev libboost-coroutine-dev libboost-filesystem-dev libboost-log-dev libssl-dev libc-ares-dev zlib1g-dev ca-certificates patchelf automake cmake clang-tidy-14 clang-format-14 lua5.4 liblua5.4-dev luarocks lua-socket clang llvm lcov libb64-dev libcrypto++-dev nlohmann-json3-dev
           sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-12 12
           sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-12 12
           sudo update-alternatives --install /usr/bin/cpp cpp /usr/bin/cpp-12 12
@@ -334,8 +345,8 @@ jobs:
 
       - name: Install lua test dependencies
         run: |
-          sudo luarocks install md5
-          sudo luarocks install luaposix
+          sudo luarocks install --lua-version=5.4 md5
+          sudo luarocks install --lua-version=5.4 luaposix
 
       - name: Download cache of third-party build
         run: aws s3 sync s3://cartesi-ci/${GITHUB_REPOSITORY}/cache/build-${BUILD_CACHE_VERSION} ./build && test -f ./build/`uname`_`uname -m`/lib/libcryptopp.so.7
@@ -424,8 +435,8 @@ jobs:
           export TEST_PATH=/opt/cartesi/tests
           export CARTESI_IMAGES_PATH=/opt/cartesi/share/images
           export CARTESI_TESTS_PATH=/opt/cartesi/tests
-          export LUA_PATH="./?.lua;./tests/?.lua;/opt/cartesi/share/lua/5.3/?.lua;/usr/local/share/lua/5.3/?.lua;"
-          export LUA_CPATH="/opt/cartesi/lib/lua/5.3/?.so;/usr/local/lib/lua/5.3/?.so;"
+          export LUA_PATH_5_4="/opt/cartesi/share/lua/5.4/?.lua;;"
+          export LUA_CPATH_5_4="/opt/cartesi/lib/lua/5.4/?.so;;"
           make -j1 coverage-toolchain=gcc coverage
 
       - name: Show coverage summary
@@ -458,7 +469,7 @@ jobs:
       - name: Install Ubuntu dependencies
         run: |
           sudo apt-get update -y
-          sudo apt-get install -y build-essential libreadline-dev libboost-context-dev libboost-coroutine-dev libboost-filesystem-dev libboost-log-dev libssl-dev libc-ares-dev zlib1g-dev ca-certificates patchelf automake cmake clang-tidy-14 clang-format-14 lua5.3 liblua5.3-dev luarocks lua-socket clang llvm lcov libb64-dev libcrypto++-dev nlohmann-json3-dev
+          sudo apt-get install -y build-essential libreadline-dev libboost-context-dev libboost-coroutine-dev libboost-filesystem-dev libboost-log-dev libssl-dev libc-ares-dev zlib1g-dev ca-certificates patchelf automake cmake clang-tidy-14 clang-format-14 lua5.4 liblua5.4-dev luarocks lua-socket clang llvm lcov libb64-dev libcrypto++-dev nlohmann-json3-dev
           sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-12 12
           sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-12 12
           sudo update-alternatives --install /usr/bin/cpp cpp /usr/bin/cpp-12 12
@@ -472,8 +483,8 @@ jobs:
 
       - name: Install lua test dependencies
         run: |
-          sudo luarocks install md5
-          sudo luarocks install luaposix
+          sudo luarocks install --lua-version=5.4 md5
+          sudo luarocks install --lua-version=5.4 luaposix
 
       - name: Download cache of third-party build
         run: aws s3 sync s3://cartesi-ci/${GITHUB_REPOSITORY}/cache/build-${BUILD_CACHE_VERSION} ./build && test -f ./build/`uname`_`uname -m`/lib/libcryptopp.so.7
@@ -562,8 +573,8 @@ jobs:
           export TEST_PATH=/opt/cartesi/tests
           export CARTESI_IMAGES_PATH=/opt/cartesi/share/images
           export CARTESI_TESTS_PATH=/opt/cartesi/tests
-          export LUA_PATH="./?.lua;./tests/?.lua;/opt/cartesi/share/lua/5.3/?.lua;/usr/local/share/lua/5.3/?.lua;"
-          export LUA_CPATH="/opt/cartesi/lib/lua/5.3/?.so;/usr/local/lib/lua/5.3/?.so;"
+          export LUA_PATH_5_4="/opt/cartesi/share/lua/5.4/?.lua;;"
+          export LUA_CPATH_5_4="/opt/cartesi/lib/lua/5.4/?.so;;"
           make sanitize=yes test-all
 
   verify:
@@ -590,7 +601,7 @@ jobs:
           find /opt/cartesi/lib -type f -exec chmod 755 {} +
 
       - name: Install Ubuntu dependencies
-        run: sudo apt-get update -y && sudo apt-get install -y libboost-coroutine1.74.0 libboost-context1.74.0 libboost-filesystem1.74.0 libboost-log1.74.0 libreadline8 openssl libc-ares2 zlib1g ca-certificates libgomp1 lua5.3 liblua5.3-dev lua-socket libb64-dev libcrypto++-dev nlohmann-json3-dev
+        run: sudo apt-get update -y && sudo apt-get install -y libboost-coroutine1.74.0 libboost-context1.74.0 libboost-filesystem1.74.0 libboost-log1.74.0 libreadline8 openssl libc-ares2 zlib1g ca-certificates libgomp1 lua5.4 liblua5.4-dev lua-socket libb64-dev libcrypto++-dev nlohmann-json3-dev
 
       - name: Download test suite
         uses: Legion2/[email protected]
@@ -646,8 +657,8 @@ jobs:
           export PATH=/opt/cartesi/bin:$PATH
           export CARTESI_IMAGES_PATH=/opt/cartesi/share/images
           export TEST_PATH=/opt/cartesi/tests
-          export LUA_PATH="./?.lua;./tests/?.lua;/opt/cartesi/share/lua/5.3/?.lua;"
-          export LUA_CPATH="/opt/cartesi/lib/lua/5.3/?.so;"
+          export LUA_PATH_5_4="/opt/cartesi/share/lua/5.4/?.lua;;"
+          export LUA_CPATH_5_4="/opt/cartesi/lib/lua/5.4/?.so;;"
           cd ./src
           make -j$(nproc) CYCLE_PERIOD=1 truth-logs
 
@@ -664,8 +675,8 @@ jobs:
           export PATH=/opt/cartesi/bin:$PATH
           export CARTESI_IMAGES_PATH=/opt/cartesi/share/images
           export TEST_PATH=/opt/cartesi/tests
-          export LUA_PATH="./?.lua;./tests/?.lua;/opt/cartesi/share/lua/5.3/?.lua;"
-          export LUA_CPATH="/opt/cartesi/lib/lua/5.3/?.so;"
+          export LUA_PATH_5_4="/opt/cartesi/share/lua/5.4/?.lua;;"
+          export LUA_CPATH_5_4="/opt/cartesi/lib/lua/5.4/?.so;;"
           cd ./src
           make -j$(nproc) CYCLE_PERIOD=1 test-logs
 
@@ -687,8 +698,8 @@ jobs:
           export PATH=/opt/cartesi/bin:$PATH
           export CARTESI_IMAGES_PATH=/opt/cartesi/share/images
           export TEST_PATH=/opt/cartesi/tests
-          export LUA_PATH="./?.lua;./tests/?.lua;/opt/cartesi/share/lua/5.3/?.lua;"
-          export LUA_CPATH="/opt/cartesi/lib/lua/5.3/?.so;"
+          export LUA_PATH_5_4="/opt/cartesi/share/lua/5.4/?.lua;;"
+          export LUA_CPATH_5_4="/opt/cartesi/lib/lua/5.4/?.so;;"
           cd ./src
           make -j$(nproc) CONCURRENCY_MERKLE_TREE=1 CYCLE_PERIOD=1 truth-hashes
           make -j$(nproc) CONCURRENCY_MERKLE_TREE=1 CYCLE_PERIOD=2 truth-hashes
@@ -708,8 +719,8 @@ jobs:
           export PATH=/opt/cartesi/bin:$PATH
           export CARTESI_IMAGES_PATH=/opt/cartesi/share/images
           export TEST_PATH=/opt/cartesi/tests
-          export LUA_PATH="./?.lua;./tests/?.lua;/opt/cartesi/share/lua/5.3/?.lua;"
-          export LUA_CPATH="/opt/cartesi/lib/lua/5.3/?.so;"
+          export LUA_PATH_5_4="/opt/cartesi/share/lua/5.4/?.lua;;"
+          export LUA_CPATH_5_4="/opt/cartesi/lib/lua/5.4/?.so;;"
           cd ./src
           make -j$(nproc) CONCURRENCY_MERKLE_TREE=1 CYCLE_PERIOD=1 test-hashes
           make -j$(nproc) CONCURRENCY_MERKLE_TREE=1 CYCLE_PERIOD=2 compare-hashes

.gitignore

@@ -7,8 +7,6 @@ build
 third-party/cryptopp-CRYPTOPP_7_0_0
 third-party/downloads
 third-party/grpc
-third-party/lua-5.3.5
-third-party/luasocket
 third-party/mongoose-7.9
 src/remote-cartesi-machine-proxy
 src/remote-cartesi-machine

CHANGELOG.md

@@ -5,11 +5,23 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
 ## [Unreleased]
+### Added
+
+- Added static analysis for Lua code
+- Added code formatter for Lua code
+- Added support for to-be-closed variables for machine Lua API
+
 ### Fixed
 
 - Fixed compile errors with GCC 13.1
 - Fixed Lua path being mixed with different Lua version path
 
+### Changed
+
+- Updated Lua version to 5.4
+- Use Lua path environment variables specific for version 5.4
+- Refactored and added new Lua tests using a Lua testing framework
+
 ## [0.14.0] - 2023-05-03
 ### Added
 

Makefile

@@ -6,10 +6,8 @@ BIN_INSTALL_PATH= $(PREFIX)/bin
 LIB_INSTALL_PATH= $(PREFIX)/lib
 SHARE_INSTALL_PATH= $(PREFIX)/share
 IMAGES_INSTALL_PATH= $(SHARE_INSTALL_PATH)/images
-CDIR=lib/lua/5.3
-LDIR=share/lua/5.3
-LUA_INSTALL_CPATH= $(PREFIX)/$(CDIR)
-LUA_INSTALL_PATH= $(PREFIX)/$(LDIR)
+LUA_INSTALL_CPATH= $(PREFIX)/lib/lua/5.4
+LUA_INSTALL_PATH= $(PREFIX)/share/lua/5.4
 INC_INSTALL_PATH= $(PREFIX)/include/machine-emulator
 INSTALL_PLAT = install-$(UNAME)
 LIBCARTESI_Darwin=libcartesi.dylib
@@ -47,8 +45,8 @@ DEPCLEAN := $(addsuffix .clean,$(DEPDIRS))
 COREPROTO := lib/grpc-interfaces/core.proto
 GRPC_VERSION ?= v1.50.0
 LUASOCKET_VERSION ?= 5b18e475f38fcf28429b1cc4b17baee3b9793a62
-LUA_DEFAULT_PATHS = ${LUA_INSTALL_PATH}/?.lua
-LUA_DEFAULT_C_PATHS = ./?.so;/usr/local/lib/lua/5.3/?.so;/usr/local/share/lua/5.3/?.so;/opt/cartesi/lib/lua/5.3/?.so
+LUA_DEFAULT_PATHS = $(LUA_INSTALL_PATH)/?.lua
+LUA_DEFAULT_C_PATHS = $(LUA_INSTALL_CPATH)/?.so
 
 # Docker image tag
 TAG ?= devel
@@ -103,8 +101,8 @@ $(BUILDDIR) $(BIN_INSTALL_PATH) $(LIB_INSTALL_PATH) $(LUA_INSTALL_PATH) $(LUA_IN
 env:
 	@echo $(LIBRARY_PATH)
 	@echo "export PATH='$(SRCDIR):$(BUILDDIR)/bin:${PATH}'"
-	@echo "export LUA_CPATH='./?.so;$(SRCDIR)/?.so;$(BUILDDIR)/$(CDIR)/?.so;$$(lua5.3 -e 'print(package.cpath)')'"
-	@echo "export LUA_PATH='./?.lua;$(SRCDIR)/?.lua;$(BUILDDIR)/$(LDIR)/?.lua;$$(lua5.3 -e 'print(package.path)')'"
+	@echo "export LUA_PATH_5_4='$(SRCDIR)/?.lua;$${LUA_PATH_5_4:-;}'"
+	@echo "export LUA_CPATH_5_4='$(SRCDIR)/?.so;$${LUA_CPATH_5_4:-;}'"
 
 doc:
 	cd doc && doxygen Doxyfile
@@ -144,7 +142,7 @@ $(COREPROTO):
 	$(info gprc-interfaces submodule not initialized!)
 	@exit 1
 grpc: | $(COREPROTO)
-hash luacartesi grpc test test-all lint coverage check-format format:
+hash luacartesi grpc test test-all lint coverage check-format check-format-lua check-lua format format-lua:
 	@eval $$($(MAKE) -s --no-print-directory env); $(MAKE) -C $(SRCDIR) $@
 riscv-arch-tests:
 	@eval $$($(MAKE) -s --no-print-directory env); $(MAKE) -C third-party/riscv-arch-tests