souffle  2.0.2-371-g6315b36
souffle_prof.cpp
Go to the documentation of this file.
1 /*
2  * Souffle - A Datalog Compiler
3  * Copyright (c) 2016, The Souffle Developers. All rights reserved
4  * Licensed under the Universal Permissive License v 1.0 as shown at:
5  * - https://opensource.org/licenses/UPL
6  * - <souffle root>/licenses/SOUFFLE-UPL.txt
7  */
8 
9 /************************************************************************
10  *
11  * @file souffle_prof.cpp
12  *
13  * Main program of souffle's profiler
14  *
15  ***********************************************************************/
16 
17 #include "souffle/profile/Cli.h"
18 
19 #include <iostream>
20 
21 int main(int argc, char* argv[]) {
22  souffle::profile::Cli cli_obj(argc, argv);
23  cli_obj.parse();
24  std::cout << "\n";
25  return 0;
26 }
souffle::profile::Cli
Definition: Cli.h:27
main
int main(int argc, char *argv[])
Definition: souffle_prof.cpp:21
Cli.h
souffle::profile::Cli::parse
void parse()
Definition: Cli.h:55