Definition in file basic_test.cc.
Include dependency graph for basic_test.cc:
Go to the source code of this file.
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[]) |
|
Evaluate the given contract and check that it is in the expected region.
Definition at line 49 of file basic_test.cc. References require. |