Skip to content

Commit a4d3798

Browse files
committed
Fix trailing whitespace
1 parent 1486785 commit a4d3798

1 file changed

Lines changed: 0 additions & 2 deletions

File tree

tools/phasar-llvm/phasar-llvm.cpp

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -232,10 +232,8 @@ int main(int Argc, const char **Argv) {
232232
("record-edges", boost::program_options::value<bool>()->default_value(true), "Let the IFDS/IDE Solver record all ESG edges whole solving the dataflow problem. This can have massive performance impact")
233233
("persisted-summaries", boost::program_options::value<bool>()->default_value(false), "Let the IFDS/IDE Solver compute presisted procedure summaries (Currently not supported)")
234234
("pamm-out,A", boost::program_options::value<std::string>()->notifier(validateParamPammOutputFile)->default_value("PAMM_data.json"), "Filename for PAMM's gathered data")
235-
236235
("analysis-plugin", boost::program_options::value<std::vector<std::string>>()->notifier(&validateParamAnalysisPlugin), "Analysis plugin(s) (absolute path to the shared object file(s))")
237236
("callgraph-plugin", boost::program_options::value<std::string>()->notifier(&validateParamICFGPlugin), "ICFG plugin (absolute path to the shared object file)")
238-
239237
("right-to-ludicrous-speed", "Uses ludicrous speed (shared memory parallelism) whenever possible (Currently not available)");
240238
// clang-format on
241239
boost::program_options::options_description CmdlineOptions;

0 commit comments

Comments
 (0)