From a9067eb46b845f70c9282bad59fbe6e8dba0e515 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbarenblat@galois.com>
Date: Fri, 20 Dec 2013 13:57:39 -0800
Subject: Initial commit

---
 examples/simple.ttt | Bin 0 -> 507079 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 examples/simple.ttt

(limited to 'examples')

diff --git a/examples/simple.ttt b/examples/simple.ttt
new file mode 100644
index 0000000..d95dca7
Binary files /dev/null and b/examples/simple.ttt differ
-- 
cgit v1.2.3