Commit 27e6f75

committed

enable stats in souffle profiling log

1 parent f6780f5 commit 27e6f75Copy full SHA for 27e6f75

File tree

-0

lines changed

-0

lines changed

Lines changed: 4 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -397,8 +397,12 @@ void engine::run_souffle(const std::string& souffle_content,`
`397`	`397`	`if (config.count(option::cli_enable_souffle_profiling)) {`
`398`	`398`	`argv.push_back("--profile=souffle.prof.log");`
`399`	`399`	`argv.push_back("--profile-frequency");`
	`400`	`+ argv.push_back("--index-stats");`
`400`	`401`	`}`
`401`	`402`
	`403`	`+ // enable souffle auto schedule, for experimental use only`
	`404`	`+ // argv.push_back("--auto-schedule=souffle.prof.log");`
	`405`	`+`
`402`	`406`	`// null terminator`
`403`	`407`	`argv.push_back(nullptr);`
`404`	`408`

Comments

(0)