Commit 5eecd8e6 authored by Salomon Sickert-Zehnter's avatar Salomon Sickert-Zehnter

Merge branch 'regression' into 'master'

Add regression testing for IAR

See merge request i7/owl!363
parents 0b894104 343b8a9a
......@@ -157,6 +157,18 @@ Rabinizer:
TEST_NAME: "rabinizer"
<<: *ltlcross_template
Rabinizer DPA:
stage: test
variables:
TEST_NAME: "rabinizer-dpa"
<<: *ltlcross_template
IAR:
stage: test
variables:
TEST_NAME: "iar"
<<: *ltlcross_template
### Meta-constructions
LTL2DA:
......
......@@ -223,6 +223,13 @@
],
"data": "M"
},
"rabinizer-dpa": {
"tools": [
"rabinizer-dpa",
"rabinizer-dpa#asymmetric"
],
"data": "M"
},
"iar": {
"tools": [
"iar",
......
......@@ -242,9 +242,6 @@
"optimize-aut",
"dgra2dra",
"optimize-aut"
],
"post": [
"optimize-aut"
]
},
"spot-nba2ldba": {
......
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