Commit 6c33ec10 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

* exposed batch reference resolution option

parent 0d6e46cc

de.ugoe.cs.swe.TTCN3Configuration/src/de/ugoe/cs/swe/common/OptionsHandler.java

+3 −0
Original line number Diff line number Diff line
@@ -50,6 +50,9 @@ public class OptionsHandler { 
		optionWithID = new OptionWithID(300, "single-core", "Use single core only (no parallel processing)\n");

		getOptions().addOption(optionWithID);



		optionWithID = new OptionWithID(310, "batch-resolve", "Use batch resolution of references\n");

		getOptions().addOption(optionWithID);

		

		optionWithID = new OptionWithID(400, "analyze-usage", "Collect language usage information\n");

		getOptions().addOption(optionWithID);