adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

asmrefine: use "Kernel_C" prefix for SEL4SimplExport 

Signed-off-by: Rafal Kolanski <rafal.kolanski@proofcraft.systems>
This commit is contained in:
Rafal Kolanski 2022-02-22 13:03:20 +11:00 committed by Rafal Kolanski
parent 289de4fef7
commit 7f24132581
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
proof/asmrefine/export/SEL4SimplExport.thy
View File

@ -22,7 +22,7 @@ ML \<open>
ParseGraph.mkdir_relative @{theory} (getenv "L4V_ARCH");
val CFunDump_filename_export = getenv "L4V_ARCH" ^ "/" ^ "CFunDump.txt";
val CFunDump_filename = "export/" ^ CFunDump_filename_export;
emit_C_everything_relative @{context} (csenv ()) CFunDump_filename_export;
emit_C_everything_relative @{context} (csenv ()) CFunDump_filename_export "Kernel_C";
\<close>
end