public static void Main(string[] args)
{
MainClass mc = new MainClass();
if (args.Length > 0) mc.DURATION = Int32.Parse(args[0]);
if (args.Length > 1) mc.NBTHREADS = Int32.Parse(args[1]);
mc.WriteRules();
mc.RunTests();
Thread.Sleep(mc.DURATION*1000);
while(mc.runningThreads > 0) Thread.Sleep(1000);
Console.WriteLine("{0} terminated.", Assembly.GetExecutingAssembly().GetName().Name);
}
public static void Main(string[] args)
{
HOT_SWAP = Boolean.Parse(args[0]);
binder = Boolean.Parse(args[1]);
if (args.Length > 2) csharpBinder = Boolean.Parse(args[2]);
MAIN_IE = new IEImpl((HOT_SWAP)?ThreadingModelTypes.MultiHotSwap:ThreadingModelTypes.Multi);
SECOND_IE = new IEImpl((HOT_SWAP)?ThreadingModelTypes.MultiHotSwap:ThreadingModelTypes.Single);
MainClass mc = new MainClass();
InitMainEngine();
SECOND_IE.LoadRuleBase(new RuleML09NafDatalogAdapter(XMLFOLDER + "subtract.ruleml", System.IO.FileAccess.Read));
mc.RunTests();
}
public Stresser(int stresserID, IFlowEngine bre, MainClass mc)
{
this.stresserID = stresserID;
this.mc = mc;
this.bre = bre;
}
public Stresser(int stresserID, MainClass mc, IInferenceEngine ie)
{
this.stresserID = stresserID;
this.mc = mc;
this.ie = ie;
this.bumps = 0;
}