klee
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 25 of file KTest.h.

Member Data Documentation

◆ args

char** KTest::args

Definition at line 30 of file KTest.h.

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

◆ numArgs

unsigned KTest::numArgs

Definition at line 29 of file KTest.h.

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

◆ numObjects

◆ objects

◆ symArgvLen

unsigned KTest::symArgvLen

Definition at line 33 of file KTest.h.

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

◆ symArgvs

unsigned KTest::symArgvs

Definition at line 32 of file KTest.h.

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

◆ version

unsigned KTest::version

Definition at line 27 of file KTest.h.

Referenced by kTest_fromFile().


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