klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
KTest Struct Reference

#include <KTest.h>

Collaboration diagram for KTest:

Public Attributes

unsigned version
 
unsigned numArgs
 
char ** args
 
unsigned symArgvs
 
unsigned symArgvLen
 
unsigned numObjects
 
KTestObjectobjects
 

Detailed Description

Definition at line 26 of file KTest.h.

Member Data Documentation

char** KTest::args

Definition at line 31 of file KTest.h.

Referenced by kTest_free(), kTest_fromFile(), kTest_toFile(), main(), and KleeHandler::processTestCase().

unsigned KTest::numArgs

Definition at line 30 of file KTest.h.

Referenced by kTest_free(), kTest_fromFile(), kTest_toFile(), main(), and KleeHandler::processTestCase().

unsigned KTest::symArgvLen

Definition at line 34 of file KTest.h.

Referenced by kTest_fromFile(), kTest_toFile(), main(), and KleeHandler::processTestCase().

unsigned KTest::symArgvs

Definition at line 33 of file KTest.h.

Referenced by kTest_fromFile(), kTest_toFile(), main(), and KleeHandler::processTestCase().

unsigned KTest::version

Definition at line 28 of file KTest.h.

Referenced by kTest_fromFile().


The documentation for this struct was generated from the following file: