From 59970eaaef72fc5812cc013b2993633efe2749e0 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Fri, 12 Sep 2014 15:28:48 -0700
Subject: Add support for testing Concrete tests via lit.

Fixes #96.
---
 test/Concrete/Casts.ll | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'test/Concrete/Casts.ll')

diff --git a/test/Concrete/Casts.ll b/test/Concrete/Casts.ll
index 1329a127..3059a867 100755
--- a/test/Concrete/Casts.ll
+++ b/test/Concrete/Casts.ll
@@ -1,3 +1,5 @@
+; RUN: %S/ConcreteTest.py --klee=%klee --lli=%lli %s
+
 declare void @print_i32(i32)
 
 define i32 @main() {
-- 
cgit 1.4.1