Logo Search packages:      
Sourcecode: acl2 version File versions  Download package

overkill.cpp

// Overkill System for ACL2 Testing
// Written by Jared Davis 

#include "Manager.h"

int main(int argc, char** argv)
{
    Manager m(argc, argv);
    m.startWorkers();
    return 0;
}


Generated by  Doxygen 1.6.0   Back to index