1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
//
//
// Test.cc
//
// This is a test to verify correct compilation of the cppunit stuff
//
//
#include "main.hh"
// CppUnit Headers
#include <cppunit/extensions/HelperMacros.h>
#include <cppunit/extensions/TestFactoryRegistry.h>
#include <cppunit/ui/text/TestRunner.h>
#include "tyvis/vhdl.hh"
#include <warped/WarpedMain.h>
// Add test case headers here
#include "ArrayTypeTest.hh"
#include "ArrayTypeInfoTest.hh"
#include "BlockTest.hh"
#include "EnumerationTypeTest.hh"
#include "FileOpenKindTest.hh"
#include "FileOpenStatusTest.hh"
#include "SeverityLevelTest.hh"
#include "SharedFileEventTest.hh"
#include "SigEventTest.hh"
#include "SignalTest.hh"
#include "UniversalBooleanTest.hh"
#include "UniversalCharacterTest.hh"
#include "UniversalIntegerTest.hh"
#include "UniversalLongLongIntegerTest.hh"
#include "UniversalRealTest.hh"
#include "WaitEventTest.hh"
// Add your tests to the suite here
CPPUNIT_TEST_SUITE_REGISTRATION( ArrayTypeTest );
CPPUNIT_TEST_SUITE_REGISTRATION( ArrayTypeInfoTest );
CPPUNIT_TEST_SUITE_REGISTRATION( BlockTest );
CPPUNIT_TEST_SUITE_REGISTRATION( EnumerationTypeTest );
CPPUNIT_TEST_SUITE_REGISTRATION( FileOpenKindTest );
CPPUNIT_TEST_SUITE_REGISTRATION( FileOpenStatusTest );
CPPUNIT_TEST_SUITE_REGISTRATION( SeverityLevelTest );
CPPUNIT_TEST_SUITE_REGISTRATION( SharedFileEventTest );
CPPUNIT_TEST_SUITE_REGISTRATION( SignalTest );
CPPUNIT_TEST_SUITE_REGISTRATION( SigEventTest );
CPPUNIT_TEST_SUITE_REGISTRATION( UniversalBooleanTest );
CPPUNIT_TEST_SUITE_REGISTRATION( UniversalCharacterTest );
CPPUNIT_TEST_SUITE_REGISTRATION( UniversalIntegerTest );
CPPUNIT_TEST_SUITE_REGISTRATION( UniversalLongLongIntegerTest );
CPPUNIT_TEST_SUITE_REGISTRATION( UniversalRealTest );
CPPUNIT_TEST_SUITE_REGISTRATION( WaitEventTest );
int main() {
WarpedMain::registerKernelDeserializers();
registerTyvisDeserializers();
CppUnit::TextUi::TestRunner runner;
CppUnit::TestFactoryRegistry ®istry = CppUnit::TestFactoryRegistry::getRegistry();
runner.addTest(registry.makeTest());
bool result = runner.run();
return result;
}
|
