diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-12-17 22:11:37 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-12-17 22:11:37 +0000 |
commit | 093492af43fae12d7f1d4607e63b1da686044ea6 (patch) | |
tree | d27effb35d74a299dc135b9ee85f3adc2b065061 /test/unit/parser | |
parent | dfcf7dba0b2d8ad6eb9d8540e92804e70205b8fb (diff) |
more build system fix-ups
Diffstat (limited to 'test/unit/parser')
-rw-r--r-- | test/unit/parser/smt/smt_parser_black.h | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/test/unit/parser/smt/smt_parser_black.h b/test/unit/parser/smt/smt_parser_black.h index 3b4b81239..7ec46b16c 100644 --- a/test/unit/parser/smt/smt_parser_black.h +++ b/test/unit/parser/smt/smt_parser_black.h @@ -1,4 +1,17 @@ -/* Black box testing of smt4::parser:SmtParser. */ +/********************* -*- C++ -*- */ +/** smt_parser_black.h + ** Original author: cconway + ** Major contributors: none + ** Minor contributors (to current version): none + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) + ** Courant Institute of Mathematical Sciences + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. + ** + ** Black box testing of CVC4::parser::SmtParser. + **/ #include <cxxtest/TestSuite.h> //#include <string> |