From 968ec6d78d2a0f3d6171b1ac7ed91cb544b57552 Mon Sep 17 00:00:00 2001 From: pthierry Date: Thu, 29 Aug 2024 14:15:16 +0200 Subject: [PATCH] framac: using autotest for scheduler stimuli --- .github/workflows/proof.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/proof.yml b/.github/workflows/proof.yml index f13b7f9e..c6b9368c 100644 --- a/.github/workflows/proof.yml +++ b/.github/workflows/proof.yml @@ -62,7 +62,7 @@ jobs: pip3 install -r requirements.txt - name: defconfig run: | - defconfig configs/nucleo_u5a5_defconfig + defconfig configs/nucleo_u5a5_autotest_defconfig - name: set safe dir for dunami (to be removed) run: | git config --global --add safe.directory '*' @@ -72,7 +72,7 @@ jobs: with: cross_files: ${{ format('{0}/{1}', env.MESON_CROSS_FILES, 'arm-none-eabi-gcc.ini') }} actions: '["prefetch", "setup"]' - options: '-Dconfig=.config -Ddts=dts/examples/nucleo_u5a5.dts -Ddts-include-dirs=dts -Dwith_proof=true' + options: '-Dconfig=.config -Ddts=dts/examples/nucleo_u5a5_autotest.dts -Ddts-include-dirs=dts -Dwith_proof=true' - name: run framaC run: | why3 config detect