Examples with Method com.dat3m.dartagnan.configuration.Method used on opensource projects

Example 1 with Method

use of com.dat3m.dartagnan.configuration.Method in project Dat3M by hernanponcedeleon.

the class OptionsPane method getOptions.

public UiOptions getOptions() {
    int bound = Integer.parseInt(boundField.getText());
    int timeout = Integer.parseInt(timeoutField.getText());
    Arch target = (Arch) targetPane.getSelectedItem();
    Method method = (Method) methodPane.getSelectedItem();
    Solvers solver = (Solvers) solverPane.getSelectedItem();
    return new UiOptions(target, method, bound, solver, timeout);
}