Remove automata

VeriFIT · Oct 26, 2023 · 9404b9e · 9404b9e
1 parent 90620bb
commit 9404b9e
Show file tree

Hide file tree

Showing 10 changed files with 0 additions and 40 deletions.
diff --git a/jobs/tacas-24-automata-inclusion.yaml b/jobs/tacas-24-automata-inclusion.yaml
@@ -1,7 +1,3 @@
-# automata.net using original inputs
-automata:
-    cmd: ./bin/automata ./programs/automata_inclusion.emp $1 $2
-
 # automata.net using mintermized inputs
 automata-min:
     cmd: ./scripts/run_automata.sh ./bin/automata ./programs/automata_inclusion.emp $1 $2

diff --git a/jobs/tacas-24-bool-comb-cox-diff.yaml b/jobs/tacas-24-bool-comb-cox-diff.yaml
@@ -1,7 +1,3 @@
-# automata.net using original inputs
-automata:
-    cmd: ./bin/automata ./programs/bool_comb_diff_sat.emp $1 $2
-
 # automata.net using mintermized inputs
 automata-min:
     cmd: ./scripts/run_automata.sh ./bin/automata ./programs/bool_comb_diff_sat.emp $1 $2

diff --git a/jobs/tacas-24-bool-comb-cox-inter.yaml b/jobs/tacas-24-bool-comb-cox-inter.yaml
@@ -1,7 +1,3 @@
-# automata.net using original inputs
-automata:
-    cmd: ./bin/automata ./programs/bool_comb_inter_sat.emp $1 $2
-
 # automata.net using mintermized inputs
 automata-min:
     cmd: ./scripts/run_automata.sh ./bin/automata ./programs/bool_comb_inter_sat.emp $1 $2

diff --git a/jobs/tacas-24-bool-comb-cox-union.yaml b/jobs/tacas-24-bool-comb-cox-union.yaml
@@ -1,7 +1,3 @@
-# automata.net using original inputs
-automata:
-    cmd: ./bin/automata ./programs/bool_comb_union.emp $1 $2
-
 # automata.net using mintermized inputs
 automata-min:
     cmd: ./scripts/run_automata.sh ./bin/automata ./programs/bool_comb_union.emp $1 $2

diff --git a/jobs/tacas-24-bool-comb-ere.yaml b/jobs/tacas-24-bool-comb-ere.yaml
@@ -1,7 +1,3 @@
-# automata.net using original inputs
-automata:
-    cmd: ./bin/automata $1 $2
-
 # automata.net using mintermized inputs
 automata-min:
     cmd: ./scripts/run_automata.sh ./bin/automata $1 $2

diff --git a/jobs/tacas-24-bool-comb-intersect-union.yaml b/jobs/tacas-24-bool-comb-intersect-union.yaml
@@ -1,7 +1,3 @@
-# automata.net using original inputs
-automata:
-    cmd: ./bin/automata ./programs/bool_comb_intersect_union.emp $1
-
 # automata.net using mintermized inputs
 automata-min:
     cmd: ./scripts/run_automata.sh ./bin/automata ./programs/bool_comb_intersect_union.emp $1

diff --git a/jobs/tacas-24-bool-comb-intersect.yaml b/jobs/tacas-24-bool-comb-intersect.yaml
@@ -1,7 +1,3 @@
-# automata.net using original inputs
-automata:
-    cmd: ./bin/automata ./programs/bool_comb_intersect.emp $1
-
 # automata.net using mintermized inputs
 automata-min:
     cmd: ./scripts/run_automata.sh ./bin/automata ./programs/bool_comb_intersect.emp $1

diff --git a/jobs/tacas-24-email-filter.yaml b/jobs/tacas-24-email-filter.yaml
@@ -1,7 +1,3 @@
-# automata.net using original inputs
-automata:
-    cmd: ./bin/automata ./programs/email_filter.emp $1 $2 $3 $4 $5
-
 # automata.net using mintermized inputs
 automata-min:
     cmd: ./scripts/run_automata.sh ./bin/automata ./programs/email_filter.emp $1 $2 $3 $4 $5

diff --git a/jobs/tacas-24-presburger-complement.yaml b/jobs/tacas-24-presburger-complement.yaml
@@ -1,7 +1,3 @@
-# automata.net using original inputs
-automata:
-    cmd: ./bin/automata ./programs/complement.emp $1
-
 # automata.net using mintermized inputs
 automata-min:
     cmd: ./scripts/run_automata.sh ./bin/automata ./programs/complement.emp $1

diff --git a/jobs/tacas-24-z3-noodler.yaml b/jobs/tacas-24-z3-noodler.yaml
@@ -1,7 +1,3 @@
-# automata.net using original inputs
-automata:
-    cmd: ./bin/automata ./programs/complement.emp $1
-
 # automata.net using mintermized inputs
 automata-min:
     cmd: ./scripts/run_automata.sh ./bin/automata ./programs/complement.emp $1