Echtzeitsysteme/tchecker
1
0
Fork 0
mirror of https://github.com/Echtzeitsysteme/tchecker.git synced 2024-05-20 20:00:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

Added documentation on updating CI/CD tests

Browse source
This commit is contained in:
Frédéric Herbreteau 2023-02-06 21:26:30 +01:00
parent b246283feb
commit cbfe986d15
1 changed files with 20 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
HOWTO.md Normal file
View file

@ -0,0 +1,20 @@
# Developer HOWTO
## Update CI/CD tests
CI/CD Tests consist in comparing the output produced by TChecker tools, to an expected output.
The expected outputs are stored in the repository and may need to be updated when algorithms
change (in particular, if the output of the algorithms change).
It can be checked if tests need to be updated running the command `make test` from the build
directory.
If update is required, then follow these steps:
1. configure with `cmake` as usual
2. then, run `make` with targets `save`, `save-bugfixes`, `save-simple-nr` and `save-algos`
3. finally, run the tests with `make test`
4. commit the new version of the expected outputs
Notice that it may be necessary to build successively with `USEINT16`, `USEINT32` (default)
and `USEINT64` to update all the tests.