adactl_fix
Ada rules controller
Install
- All systems
-
curl cmd.cat/adactl_fix.sh
- Debian
-
apt-get install adacontrol - Ubuntu
-
apt-get install adacontrol - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install adacontrol - Raspbian
-
apt-get install adacontrol - Dockerfile
- dockerfile.run/adactl_fix
adacontrol
Ada rules controller
AdaControl verifies that Ada software meets the requirements of a number of parameterizable rules. It is not intended to supplement checks made by the compiler, but rather to search for particular violations of good-practice rules, or to check that some rules are obeyed project-wide. This package also contains the following utilities: * pfni: Print Full Name Image - expands any identifier to a fully-qualified name * ptree: Prints a graphic representation of an ASIS tree with corresponding source