forked from sqlancer/sqlancer
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathFelderaOptions.java
More file actions
26 lines (17 loc) · 900 Bytes
/
FelderaOptions.java
File metadata and controls
26 lines (17 loc) · 900 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
package sqlancer.feldera;
import java.util.List;
import com.beust.jcommander.Parameter;
import com.beust.jcommander.Parameters;
import sqlancer.DBMSSpecificOptions;
@Parameters(separators = "=", commandDescription = "Feldera (default " + FelderaOptions.DEFAULT_URL + ")")
public class FelderaOptions implements DBMSSpecificOptions<FelderaOracleFactory> {
public static final String DEFAULT_URL = "http://127.0.0.1:8080";
@Parameter(names = "--oracle", description = "Specifies which test oracle should be used for Feldera")
public List<FelderaOracleFactory> oracle = List.of(FelderaOracleFactory.NOREC);
@Parameter(names = "--connection-url", description = "Specifies the URL for connecting to the Feldera", arity = 1)
public String connection_url = DEFAULT_URL;
@Override
public List<FelderaOracleFactory> getTestOracleFactory() {
return oracle;
}
}