gsn.pdfexport: initial version for exporting argument legs to PDF

mbeddr · Feb 18, 2024 · 6ba241f · 6ba241f
1 parent 36489f6
commit 6ba241f
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/...rial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized_pdf_export.mps b/...rial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized_pdf_export.mps
@@ -48,7 +48,7 @@
   <node concept="TWaE8" id="3TNxfDZ8toW">
     <property role="TrG5h" value="operations_export" />
     <node concept="9PVaO" id="3TNxfDZ8tuf" role="1fTw2V">
-      <property role="3N1Lgt" value="doc_gen" />
+      <property role="3N1Lgt" value="pdf_export_dir" />
     </node>
     <node concept="19rN1b" id="3TNxfDZ8txx" role="TVegP">
       <node concept="1Pa9Pv" id="3TNxfDZ8txy" role="195_jx">

diff --git a/...orial-safety/solutions/com.mbeddr.formal.safety.tutorial/pdf_export_dir/do_not_delete.txt b/...orial-safety/solutions/com.mbeddr.formal.safety.tutorial/pdf_export_dir/do_not_delete.txt