int main(int argc, char *argv[])
{
int choice = 1;
choice = check_model();
switch(choice) {
//test the data size on kernel and application.
case 1:
{
data_size(argc, argv);
break;
}
//test the fasync signal handle method.
case 2:
{
fasync_handle(argc, argv);
break;
}
//test the input and output method by poll.
case 3:
{
io_poll(argc, argv);
break;
}
//test the concole which recv the kernel message.
case 4:
{
concole_ctl(argc, argv);
break;
}
//test the page difference by compared dev map addr.
case 5:
{
mem_cmp(argc, argv);
break;
}
//test the input and ouput on all dev ports.
case 6:
{
port_io(argc, argv);
break;
}
//default do nothing
default:
{
break;
}
}
return 0;
}
void model_evaluator_base::minimize_model(ptr_vector<expr> const & formulas, expr_ref_vector & model)
{
ast_manager & m = model.get_manager();
bool has_unknown, has_false;
DEBUG_CODE(
check_model(formulas, model, has_unknown, has_false);
if (has_false) {
std::cout<<"formulas: "<<pdr::pp_cube(formulas, m)<<"\n";
std::cout<<"model: "<<pdr::pp_cube(model, m)<<"\n";
}
SASSERT(!has_false);
);
int main(int argc, char *argv[])
{
int choice;
if (argc < 2)
choice = check_model();
switch (choice) {
//creat a time application by udp protocol
case 1:
udp_point_app();
break;
//creat a client by udp protocol
case 2:
udp_point_client();
break;
//creat a server by udp protocol
case 3:
udp_point_server();
break;
//creat a broadcast client by udp protocol
case 4:
udp_broadcast_client();
break;
//creat a broadcast server by udp protocol
case 5:
udp_broadcast_server();
break;
//creat a groupcast client by udp protocol
case 6:
udp_groupcast_client();
break;
//creat a groupcast server by udp protocol
case 7:
udp_groupcast_server();
break;
//default do nothing
default:
break;
}
return 0;
}
int main(int argc, char *argv[])
{
int choice;
if (argc < 2)
choice = check_model();
switch (choice) {
//check openssl bio api.
case 1:
openssl_bioBS_io();
openssl_bioBS_md5();
openssl_bioBS_cipher();
openssl_bioBS_asnl();
openssl_bioBS_random();
openssl_bioBN_math();
break;
//check openssl finger api.
case 2:
openssl_md5_check();
openssl_sha1_check();
openssl_hmac_md5();
openssl_ctx_compress();
break;
//check openssl crypt api.
case 3:
openssl_salt_encrypt();
openssl_des_crypt();
openssl_rsa_crypt();
openssl_dsa_crypt();
openssl_dh_crypt();
openssl_ec_crypt();
openssl_rsa_pemkey();
break;
//check openssl evp api.
case 4:
openssl_evp_encode();
openssl_evp_comcrypt();
openssl_evp_symcrypt();
openssl_evp_asycrypt();
openssl_evp_rsacripher();
openssl_evp_digest();
openssl_evp_comsign();
openssl_evp_rsasign();
openssl_evp_keyiv();
break;
//check openssl x509 api.
case 5:
openssl_x509_cert();
openssl_x509_purpose();
openssl_x509_verify();
openssl_x509_info();
openssl_x509_crl();
break;
//check openssl pkcs api.
case 6:
openssl_pkcs7_msg();
openssl_pkcs7_sign();
openssl_pkcs7_enveloped();
openssl_pkcs7_encrypt();
openssl_pkcs12_cert();
break;
//default do nothing
default:
break;
}
return 0;
}
