Merge pull request #812 from goblint/issue_811

Remove ARINC analyses
goblint · Aug 3, 2022 · d887244 · d887244
2 parents 13da7ac + 52ff270
commit d887244
Show file tree

Hide file tree

Showing 44 changed files with 32 additions and 4,733 deletions.
diff --git a/scripts/old/airbus/bench.sh b/scripts/old/airbus/bench.sh
diff --git a/scripts/old/airbus/bisect.sh b/scripts/old/airbus/bisect.sh
diff --git a/scripts/spec/check.sh b/scripts/spec/check.sh
@@ -7,9 +7,6 @@ debug=${debug-"true"}
 if [ $ana == "file" ]; then
     ana="file"
     opt="--set ana.file.optimistic true"
-elif [ $ana == "arinc" ]; then
-    ana="arinc"
-    opt="--enable ana.arinc.export --trace arinc"
 else
     spec=$ana
     ana="spec"

diff --git a/spin/airbus.pml b/spin/airbus.pml