Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Disable liveness model-checking tests outside Linux.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 9 Jun 2023 14:33:05 +0000 (16:33 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 9 Jun 2023 14:40:11 +0000 (16:40 +0200)
commit327f2aa08dfff033bd663b53825d5d42b5228669
treeb7ff638bdfcda388518e26f8174f4d7935ba0a9c
parentc59c82ee01d89d9d0607bf526df5449bcf161472
Disable liveness model-checking tests outside Linux.

It seems to fall in an infinite loop under FreeBSD for example.

[ci-skip]
examples/cpp/CMakeLists.txt