Merge branch 'feature/dune/aorai-tests-ltl' into 'feature/dune/feedback'

.gitignore

dune-project

headers/dune-project

headers/hdrck.ml

ptests/dune-project

ptests/ptests.ml

src/plugins/aorai/dune-project

src/plugins/aorai/tests/ltl/goto.c

src/plugins/aorai/tests/ltl/test_boucle.c

src/plugins/aorai/tests/ltl/test_boucle1.c

src/plugins/aorai/tests/ltl/test_boucle2.c

src/plugins/aorai/tests/ltl/test_boucle3.c

src/plugins/aorai/tests/ltl/test_config

src/plugins/aorai/tests/ltl/test_config_prove

src/plugins/aorai/tests/ltl/test_factorial.c

src/plugins/aorai/tests/ltl/test_recursion1.c

src/plugins/aorai/tests/ltl/test_recursion2.c

src/plugins/aorai/tests/ltl/test_switch2.c

src/plugins/aorai/tests/ltl/test_switch3.c

src/plugins/aorai/tests/ltl/test_switch3_et_recursion.c