Remove some SV-COMP tasks due to unknown functions

Issue sosy-lab/sv-benchmarks#1296.
goblint · Apr 12, 2021 · a2c11e4 · a2c11e4
1 parent 16100df
commit a2c11e4
Showing 1 changed file with 0 additions and 14 deletions.
diff --git a/index/traces.txt b/index/traces.txt
@@ -57,20 +57,6 @@ linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.i
 svcomp/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.i
 --enable ana.sv-comp.functions
 
-nsc
-linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i
-svcomp/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.i
---enable ana.sv-comp.functions
-
-marvell1
-linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.i
-svcomp/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.i
---enable ana.sv-comp.functions
-
-marvell2
-linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.i
-svcomp/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.i
---enable ana.sv-comp.functions