From 519a37253489045ccb79e5af935433f4659cd862 Mon Sep 17 00:00:00 2001 From: Dirk Beyer Date: Sat, 16 Nov 2019 11:54:23 +0100 Subject: [PATCH] Adding extra category to honor verification of large verification tasks, partially addresses issue #819 --- ...ms-DeviceDriversLinux64Large-ReachSafety.cfg | 4 ++++ ...ms-DeviceDriversLinux64Large-ReachSafety.set | 17 +++++++++++++++++ 2 files changed, 21 insertions(+) create mode 100644 c/SoftwareSystems-DeviceDriversLinux64Large-ReachSafety.cfg create mode 100644 c/SoftwareSystems-DeviceDriversLinux64Large-ReachSafety.set diff --git a/c/SoftwareSystems-DeviceDriversLinux64Large-ReachSafety.cfg b/c/SoftwareSystems-DeviceDriversLinux64Large-ReachSafety.cfg new file mode 100644 index 00000000000..ee0de2762f1 --- /dev/null +++ b/c/SoftwareSystems-DeviceDriversLinux64Large-ReachSafety.cfg @@ -0,0 +1,4 @@ +Description: Contains problems that require the analysis of pointer aliases and function pointers. +Architecture: 64 bit + + diff --git a/c/SoftwareSystems-DeviceDriversLinux64Large-ReachSafety.set b/c/SoftwareSystems-DeviceDriversLinux64Large-ReachSafety.set new file mode 100644 index 00000000000..38aed8366ae --- /dev/null +++ b/c/SoftwareSystems-DeviceDriversLinux64Large-ReachSafety.set @@ -0,0 +1,17 @@ + + +ldv-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-net-ethernet-sfc-sfc.cil.yml +ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-net-ethernet-sfc-sfc.cil.yml +ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-sfc-sfc.cil.yml +ldv-challenges/linux-3.14_complex_emg_linux-usb-dev_drivers-net-ethernet-sfc-sfc.cil.yml +ldv-linux-3.14/linux-3.14_complex_emg_linux-drivers-clk1_drivers-net-ethernet-sfc-sfc.cil.yml +ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--gpu--drm--amd--amdgpu--amdgpu.ko-entry_point.cil.out.yml +ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--gpu--drm--amd--amdgpu--amdgpu.ko-entry_point.cil.out.yml +ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--gpu--drm--i915--i915.ko-entry_point.cil.out.yml +ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--gpu--drm--i915--i915.ko-entry_point.cil.out.yml +ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--gpu--drm--i915--i915.ko-entry_point.cil.out.yml +ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--gpu--drm--i915--i915.ko-entry_point.cil.out.yml +ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--vfio--pci--vfio-pci.ko-entry_point.cil.out.yml +ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--vfio--pci--vfio-pci.ko-entry_point.cil.out.yml +ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--vfio--pci--vfio-pci.ko-entry_point.cil.out.yml +ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--vfio--pci--vfio-pci.ko-entry_point.cil.out.yml