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
Generated by
1.8.17