framac: using autotest for scheduler stimuli

.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