Update .gitlab-ci.yml and add workaround for JDK-8203277.

parent ba23e343
image: gitlab.lrz.de:5005/i7/owl:jdk14
image: gitlab.lrz.de:5005/i7/owl:ba23e343
before_script:
- chmod +x gradlew
......
......@@ -26,6 +26,7 @@ a | G (b | (a & F b))
a U (X (b & X (F a)))
G (a | (F (a & X b)))
!((a <-> b) -> (F b))
F G ((X a) | (a W X a))
(a U b) | (G (c | X a))
(a W (b <-> X G a)) W a
F (a | ((X (! a)) R b))
......@@ -37,11 +38,13 @@ F ((a U b) & (G a | F c))
(a U (G a)) | (b U (G b))
F G a | F (b & G (b | c))
G a | G (F b & F (a | c))
F ((G F a) | G (a | X a))
(G a) | ((F b) W (b & X b))
G (G a | (F b & G (b | c)))
F (a & ((!a & !c) | G F c))
G (a U (b | G (!c | X F d)))
F (G !a | G a | (!a & X G b))
G F ((a & XXa) | (!a & XX!a))
((F G a) & F b) | G b | G F a
a & GF ((a | b) & (Ga | !GFa))
(F a) & ((a R (a | b)) R (!a))
......
......@@ -27,7 +27,7 @@ def _test(args, check):
test_names = args[0].split(";")
test_set_override = None
if len(args) is 2:
if len(args) == 2:
test_set_override = args[1]
test_config = owl_defaults.load_json(database)
......@@ -284,7 +284,7 @@ def _benchmark(args):
if __name__ == "__main__":
if len(sys.argv) is 1:
if len(sys.argv) == 1:
print("Usage: util.py <type> <args>")
sys.exit(1)
......
......@@ -51,7 +51,7 @@ public final class InputReaders {
"ltl",
"Parses LTL formulas and converts them into NNF",
(commandLine, environment) -> (reader, callback, stopSignal) ->
CharStreams.readLines(reader, new LineProcessor<>() {
CharStreams.readLines(reader, new LineProcessor<Void>() {
@Override
public boolean processLine(String line) {
if (stopSignal.get()) {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment