From fd8ea1e1b9cae781abe42aeadda2e0ef149994d6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 5 Nov 2022 21:23:20 -0400
Subject: Property-based testing can now log/print successful seeds from run.

---
 documentation/bookmark/security/compilation.md | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 documentation/bookmark/security/compilation.md

(limited to 'documentation/bookmark/security/compilation.md')

diff --git a/documentation/bookmark/security/compilation.md b/documentation/bookmark/security/compilation.md
new file mode 100644
index 000000000..ad3bc8a62
--- /dev/null
+++ b/documentation/bookmark/security/compilation.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. []()
+0. [Secure Compilation](https://drops.dagstuhl.de/opus/volltexte/2022/15933/pdf/dagrep_v011_i010_p173_21481.pdf)
+
-- 
cgit v1.2.3