Originally reported byLuca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)
It appears that since we introduced CMake as a build system instead of Autotools, there is a reachability calculation issue that makes, for example, the watertank safety verification problem yield always true even if the setup is clearly unsafe.
The interested commit is 2564f1bd , where both the build systems are available and it can be clearly seen that CMake has the issue while Autotools does not. The problem is present independently of the platform, and consequently the compiler.
lgeretti
commented
7 years ago
Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)
It appears that since we introduced CMake as a build system instead of Autotools, there is a reachability calculation issue that makes, for example, the watertank safety verification problem yield always true even if the setup is clearly unsafe.
The interested commit is 2564f1bd , where both the build systems are available and it can be clearly seen that CMake has the issue while Autotools does not. The problem is present independently of the platform, and consequently the compiler.