goblint · sim642 · Apr 13, 2022 · Apr 13, 2022
diff --git a/klever/linux-5.5-races/Safes/drivers---net---appletalk---ipddp.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---appletalk---ipddp.ko - concurrency safety.i
diff --git a/klever/linux-5.5-races/Safes/drivers---net---appletalk---ipddp.ko - concurrency safety.yml b/klever/linux-5.5-races/Safes/drivers---net---appletalk---ipddp.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---appletalk---ipddp.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/klever/linux-5.5-races/Safes/drivers---net---arcnet---arc-rawmode.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---arcnet---arc-rawmode.ko - concurrency safety.i
diff --git a/...er/linux-5.5-races/Safes/drivers---net---arcnet---arc-rawmode.ko - concurrency safety.yml b/...er/linux-5.5-races/Safes/drivers---net---arcnet---arc-rawmode.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---arcnet---arc-rawmode.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/klever/linux-5.5-races/Safes/drivers---net---arcnet---arcnet.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---arcnet---arcnet.ko - concurrency safety.i
diff --git a/klever/linux-5.5-races/Safes/drivers---net---arcnet---arcnet.ko - concurrency safety.yml b/klever/linux-5.5-races/Safes/drivers---net---arcnet---arcnet.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---arcnet---arcnet.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/klever/linux-5.5-races/Safes/drivers---net---arcnet---capmode.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---arcnet---capmode.ko - concurrency safety.i
diff --git a/klever/linux-5.5-races/Safes/drivers---net---arcnet---capmode.ko - concurrency safety.yml b/klever/linux-5.5-races/Safes/drivers---net---arcnet---capmode.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---arcnet---capmode.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/klever/linux-5.5-races/Safes/drivers---net---arcnet---com20020-pci.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---arcnet---com20020-pci.ko - concurrency safety.i
diff --git a/...r/linux-5.5-races/Safes/drivers---net---arcnet---com20020-pci.ko - concurrency safety.yml b/...r/linux-5.5-races/Safes/drivers---net---arcnet---com20020-pci.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---arcnet---com20020-pci.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/klever/linux-5.5-races/Safes/drivers---net---arcnet---com20020_cs.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---arcnet---com20020_cs.ko - concurrency safety.i
diff --git a/...er/linux-5.5-races/Safes/drivers---net---arcnet---com20020_cs.ko - concurrency safety.yml b/...er/linux-5.5-races/Safes/drivers---net---arcnet---com20020_cs.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---arcnet---com20020_cs.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/klever/linux-5.5-races/Safes/drivers---net---arcnet---rfc1051.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---arcnet---rfc1051.ko - concurrency safety.i
diff --git a/klever/linux-5.5-races/Safes/drivers---net---arcnet---rfc1051.ko - concurrency safety.yml b/klever/linux-5.5-races/Safes/drivers---net---arcnet---rfc1051.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---arcnet---rfc1051.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/klever/linux-5.5-races/Safes/drivers---net---arcnet---rfc1201.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---arcnet---rfc1201.ko - concurrency safety.i
diff --git a/klever/linux-5.5-races/Safes/drivers---net---arcnet---rfc1201.ko - concurrency safety.yml b/klever/linux-5.5-races/Safes/drivers---net---arcnet---rfc1201.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---arcnet---rfc1201.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/klever/linux-5.5-races/Safes/drivers---net---bonding---bonding.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---bonding---bonding.ko - concurrency safety.i
diff --git a/klever/linux-5.5-races/Safes/drivers---net---bonding---bonding.ko - concurrency safety.yml b/klever/linux-5.5-races/Safes/drivers---net---bonding---bonding.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---bonding---bonding.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/klever/linux-5.5-races/Safes/drivers---net---caif---caif_hsi.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---caif---caif_hsi.ko - concurrency safety.i
diff --git a/klever/linux-5.5-races/Safes/drivers---net---caif---caif_hsi.ko - concurrency safety.yml b/klever/linux-5.5-races/Safes/drivers---net---caif---caif_hsi.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---caif---caif_hsi.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/klever/linux-5.5-races/Safes/drivers---net---caif---caif_virtio.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---caif---caif_virtio.ko - concurrency safety.i
diff --git a/klever/linux-5.5-races/Safes/drivers---net---caif---caif_virtio.ko - concurrency safety.yml b/klever/linux-5.5-races/Safes/drivers---net---caif---caif_virtio.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---caif---caif_virtio.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/klever/linux-5.5-races/Safes/drivers---net---can---at91_can.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---can---at91_can.ko - concurrency safety.i
diff --git a/klever/linux-5.5-races/Safes/drivers---net---can---at91_can.ko - concurrency safety.yml b/klever/linux-5.5-races/Safes/drivers---net---can---at91_can.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---can---at91_can.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/...r/linux-5.5-races/Safes/drivers---net---can---c_can---c_can_pci.ko - concurrency safety.i b/...r/linux-5.5-races/Safes/drivers---net---can---c_can---c_can_pci.ko - concurrency safety.i
diff --git a/...linux-5.5-races/Safes/drivers---net---can---c_can---c_can_pci.ko - concurrency safety.yml b/...linux-5.5-races/Safes/drivers---net---can---c_can---c_can_pci.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---can---c_can---c_can_pci.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/...ux-5.5-races/Safes/drivers---net---can---c_can---c_can_platform.ko - concurrency safety.i b/...ux-5.5-races/Safes/drivers---net---can---c_can---c_can_platform.ko - concurrency safety.i
diff --git a/...-5.5-races/Safes/drivers---net---can---c_can---c_can_platform.ko - concurrency safety.yml b/...-5.5-races/Safes/drivers---net---can---c_can---c_can_platform.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---can---c_can---c_can_platform.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/klever/linux-5.5-races/Safes/drivers---net---can---can-dev.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---can---can-dev.ko - concurrency safety.i
diff --git a/klever/linux-5.5-races/Safes/drivers---net---can---can-dev.ko - concurrency safety.yml b/klever/linux-5.5-races/Safes/drivers---net---can---can-dev.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---can---can-dev.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/klever/linux-5.5-races/Safes/drivers---net---can---cc770---cc770.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---can---cc770---cc770.ko - concurrency safety.i
diff --git a/klever/linux-5.5-races/Safes/drivers---net---can---cc770---cc770.ko - concurrency safety.yml b/klever/linux-5.5-races/Safes/drivers---net---can---cc770---cc770.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---can---cc770---cc770.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/...r/linux-5.5-races/Safes/drivers---net---can---cc770---cc770_isa.ko - concurrency safety.i b/...r/linux-5.5-races/Safes/drivers---net---can---cc770---cc770_isa.ko - concurrency safety.i
diff --git a/...linux-5.5-races/Safes/drivers---net---can---cc770---cc770_isa.ko - concurrency safety.yml b/...linux-5.5-races/Safes/drivers---net---can---cc770---cc770_isa.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---can---cc770---cc770_isa.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/...ux-5.5-races/Safes/drivers---net---can---cc770---cc770_platform.ko - concurrency safety.i b/...ux-5.5-races/Safes/drivers---net---can---cc770---cc770_platform.ko - concurrency safety.i
diff --git a/...-5.5-races/Safes/drivers---net---can---cc770---cc770_platform.ko - concurrency safety.yml b/...-5.5-races/Safes/drivers---net---can---cc770---cc770_platform.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---can---cc770---cc770_platform.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/klever/linux-5.5-races/Safes/drivers---net---can---flexcan.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---can---flexcan.ko - concurrency safety.i
diff --git a/klever/linux-5.5-races/Safes/drivers---net---can---flexcan.ko - concurrency safety.yml b/klever/linux-5.5-races/Safes/drivers---net---can---flexcan.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---can---flexcan.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/klever/linux-5.5-races/Safes/drivers---net---can---grcan.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---can---grcan.ko - concurrency safety.i
diff --git a/klever/linux-5.5-races/Safes/drivers---net---can---grcan.ko - concurrency safety.yml b/klever/linux-5.5-races/Safes/drivers---net---can---grcan.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---can---grcan.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/...nux-5.5-races/Safes/drivers---net---can---ifi_canfd---ifi_canfd.ko - concurrency safety.i b/...nux-5.5-races/Safes/drivers---net---can---ifi_canfd---ifi_canfd.ko - concurrency safety.i
diff --git a/...x-5.5-races/Safes/drivers---net---can---ifi_canfd---ifi_canfd.ko - concurrency safety.yml b/...x-5.5-races/Safes/drivers---net---can---ifi_canfd---ifi_canfd.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---can---ifi_canfd---ifi_canfd.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/klever/linux-5.5-races/Safes/drivers---net---can---janz-ican3.ko - concurrency safety.i b/klever/linux-5.5-races/Safes/drivers---net---can---janz-ican3.ko - concurrency safety.i
diff --git a/klever/linux-5.5-races/Safes/drivers---net---can---janz-ican3.ko - concurrency safety.yml b/klever/linux-5.5-races/Safes/drivers---net---can---janz-ican3.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---can---janz-ican3.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true
diff --git a/...ux-5.5-races/Safes/drivers---net---can---m_can---m_can_platform.ko - concurrency safety.i b/...ux-5.5-races/Safes/drivers---net---can---m_can---m_can_platform.ko - concurrency safety.i
diff --git a/...-5.5-races/Safes/drivers---net---can---m_can---m_can_platform.ko - concurrency safety.yml b/...-5.5-races/Safes/drivers---net---can---m_can---m_can_platform.ko - concurrency safety.yml
@@ -0,0 +1,7 @@
+format_version: '1.0'
+
+input_files: 'drivers---net---can---m_can---m_can_platform.ko - concurrency safety.i'
+
+properties:
+  - property_file: ../no-data-race.prp
+    expected_verdict: true