Ihar Hancharenka 5dff80e88e first
2023-03-27 16:52:17 +03:00

14 строки
269 B
Plaintext

frama-c
-help
-kernel-help
options provided by kernel
-<plugin>-help
-e-acsl-help
E-ACSL specific options
-value-h
help
-slevel 10
the precision of the value analysis
-val main.c
value analysis plugin