Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members | File Members

basic_test.cc File Reference


Detailed Description

Test the 'basic' qosket.

Include dependency graph for basic_test.cc:

Include dependency graph

Functions

int contract_region (quo::Contract_ptr contract, const char *expected_name)
 Evaluate the given contract and check that it is in the expected region.

int main (int argc, char *argv[])

Function Documentation

int contract_region quo::Contract_ptr  contract,
const char *  expected_name
[static]
 

Evaluate the given contract and check that it is in the expected region.

Parameters:
contract The contract to evaluate/check.
expected_name The expected region name.
Returns:
True if the contract is in the expected region, false otherwise.


Generated on Mon Dec 1 16:21:58 2003 for CPUBroker by doxygen 1.3.4