internal Software(ExecutionModel executionModel)
{
this.executionModel = executionModel;
}
public Tester(ExecutionModel automata) : base(automata)
{
}
internal Software(Action main)
{
this.executionModel = new ExecutionModel(new Program(main));
}
public Participant(ExecutionModel automata)
{
}