From 9404b9e0af96e8642a212a47192472305bc45ae0 Mon Sep 17 00:00:00 2001 From: verifit Date: Thu, 26 Oct 2023 14:55:54 +0200 Subject: [PATCH] Remove automata --- jobs/tacas-24-automata-inclusion.yaml | 4 ---- jobs/tacas-24-bool-comb-cox-diff.yaml | 4 ---- jobs/tacas-24-bool-comb-cox-inter.yaml | 4 ---- jobs/tacas-24-bool-comb-cox-union.yaml | 4 ---- jobs/tacas-24-bool-comb-ere.yaml | 4 ---- jobs/tacas-24-bool-comb-intersect-union.yaml | 4 ---- jobs/tacas-24-bool-comb-intersect.yaml | 4 ---- jobs/tacas-24-email-filter.yaml | 4 ---- jobs/tacas-24-presburger-complement.yaml | 4 ---- jobs/tacas-24-z3-noodler.yaml | 4 ---- 10 files changed, 40 deletions(-) diff --git a/jobs/tacas-24-automata-inclusion.yaml b/jobs/tacas-24-automata-inclusion.yaml index 4b3dd0a..373b599 100644 --- 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 index 081b476..75b75cc 100644 --- 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 index 1376078..cc61a92 100644 --- 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 index d7877ee..918a8aa 100644 --- 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 index 06a7145..e8a28d6 100644 --- 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 index 4d6f142..d7e7a12 100644 --- 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 index 1317eeb..7eb442a 100644 --- 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 index db125da..d2446c4 100644 --- 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 index 40a4914..70cc4bb 100644 --- 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 index 40a4914..70cc4bb 100644 --- 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