⚲
Project
General
Profile
Sign in
Home
Projects
Help
Search
:
Deductive Verification Tools for Linux Kernel
All Projects
AstraVer Toolset
»
Deductive Verification Tools for Linux Kernel
Overview
Activity
Issues
News
Wiki
Files
Repository
Download (413 Bytes)
Bug #10298
» command.txt
Ilja Zakharov
, 04/22/2020 07:04 PM
toplevel.opt "-no-autoload-plugins" "-no-findlib" "-kernel-log" "e:problem desc.txt" "-machdep" "gcc_x86_64" "-c11" "-kernel-warn-key" "CERT:MSC:38=active" "-remove-unused-inline-functions" "-remove-unused-static-functions" "-no-annot" "-no-single-return" "-fold-temp-vars" "-shrink-initializers" "-keep-logical-operators" "-aggressive-merging" "-print" "-print-lines" "-no-print-annot" "-ocode" "cil.i" example.c
« Previous
1
2
3
Next »
(1-1/3)
Loading...