mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
ee3dff9a3d
- Add cfg(not(miri)) guards to mimalloc module, global allocator, and allocator-memory-limits code paths so Miri falls back to the default system allocator instead of calling unsupported FFI functions. - Set MIRIFLAGS="-Zmiri-disable-isolation" in the workflow so tests that perform file I/O can run under Miri. - Skip units/parse tests under Miri due to Float-vs-BigInt Number representation mismatch with Miri's soft-float emulation. Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
30 lines
741 B
YAML
30 lines
741 B
YAML
name: miri
|
|
|
|
on:
|
|
workflow_dispatch:
|
|
schedule:
|
|
# Run at 6:30 AM UTC every Wednesday
|
|
- cron: "30 6 * * 3"
|
|
|
|
jobs:
|
|
miri-test:
|
|
name: miri (nightly)
|
|
runs-on: ubuntu-latest
|
|
env:
|
|
MIRIFLAGS: "-Zmiri-disable-isolation"
|
|
steps:
|
|
- name: Checkout repository
|
|
uses: actions/checkout@v4
|
|
- uses: ./.github/actions/toolchains/rust
|
|
with:
|
|
toolchain: nightly
|
|
components: miri rust-src
|
|
- name: Set up Miri
|
|
run: cargo miri setup
|
|
- name: Run Miri tests
|
|
run: cargo miri test -p regorus
|
|
- name: Run Miri ACI tests
|
|
run: cargo miri test -p regorus --test aci
|
|
- name: Run Miri kata tests
|
|
run: cargo miri test -p regorus --test kata
|