Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / tools / seal / seal_export.ml @ d75eb6f1

History | View | Annotate | Download (3.66 KB)

# Date Author Comment
d75eb6f1 07/11/2019 07:43 AM Pierre-Loïc Garoche

seal-export: produce the output as well. Could be simpler