From 268b8ff282c2c17535432a1b341a0b9f52c8ae69 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Mon, 5 Apr 2010 04:02:16 +0000 Subject: STP: Remove unused files. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100394 91177308-0d34-0410-b5e6-96231b3b80d8 --- stp/AST/asttest.cpp | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100644 stp/AST/asttest.cpp (limited to 'stp/AST/asttest.cpp') diff --git a/stp/AST/asttest.cpp b/stp/AST/asttest.cpp deleted file mode 100644 index 57f3d20c..00000000 --- a/stp/AST/asttest.cpp +++ /dev/null @@ -1,29 +0,0 @@ -#include "AST.h" - -using namespace BEEV; - -int main() -{ - - BeevMgr * bm = new BeevMgr(); - ASTNode s1 = bm->CreateSymbol("foo"); - s1 = bm->CreateSymbol("foo1"); - s1 = bm->CreateSymbol("foo2"); - ASTNode s2 = bm->CreateSymbol("bar"); - cout << "s1" << s1 << endl; - cout << "s2" << s2 << endl; - - ASTNode b1 = bm->CreateBVConst(5,12); - ASTNode b2 = bm->CreateBVConst(6,36); - cout << "b1: " << b1 << endl; - cout << "b2: " << b2 << endl; - - ASTNode a1 = bm->CreateNode(EQ, s1, s2); - ASTNode a2 = bm->CreateNode(AND, s1, s2); - a1 = bm->CreateNode(OR, s1, s2); - ASTNode a3 = bm->CreateNode(IMPLIES, a1, a2); - ASTNode a4 = bm->CreateNode(IMPLIES, s1, a2); - cout << "a3" << a3 << endl; - cout << "a4" << a4 << endl; - return 0; -} -- cgit 1.4.1