You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, when building an image with -H:+PrintCausalityGraph, the results will just be created as as set of individual files in the working directory:
In order to use the causality data in our observatory, the user currently has to zip these themselves and also include the reachability.json in this zip.
Produce a single .cg.zip file
Register it via the usual graal build output API, so a message gets printed
Remove unneeded files declaring_types.bin and typeflows.txt
Also integrate the reachability.json from the ReachabilityExporter-Feature in the .cg.zip-file
Optional: Think about choosing a more efficient data structure for typestates.bin, which currently consists of >99% zeros
The text was updated successfully, but these errors were encountered:
Currently, when building an image with
-H:+PrintCausalityGraph
, the results will just be created as as set of individual files in the working directory:In order to use the causality data in our observatory, the user currently has to zip these themselves and also include the
reachability.json
in this zip..cg.zip
filedeclaring_types.bin
andtypeflows.txt
.cg.zip
-filetypestates.bin
, which currently consists of >99% zerosThe text was updated successfully, but these errors were encountered: