mohr/nexosim
1
0
Fork 0
forked from ROMEO/nexosim
Code Pull Requests Activity

Add support for custom/real-time clocks

Browse Source
This commit is contained in:
Serge Barral
2023-08-29 12:46:40 +02:00
parent fe3fd372e7
commit ef703f5b7e
10 changed files with 579 additions and 59 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View File

@ -73,7 +73,7 @@ jobs:
- name: Run cargo miri tests
run: cargo miri test --tests --lib
env:
MIRIFLAGS: -Zmiri-strict-provenance
MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-disable-isolation -Zmiri-num-cpus=4
- name: Run cargo miri example1
run: cargo miri run --example espresso_machine