From b489cd3d0e74d542fee369651ef59a15e74f7c50 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 25 Nov 2020 19:18:44 +0100
Subject: [PATCH] [ivette] Property table: adds a filter for assumes clauses.
---
ivette/src/renderer/Properties.tsx | 2 ++
1 file changed, 2 insertions(+)
diff --git a/ivette/src/renderer/Properties.tsx b/ivette/src/renderer/Properties.tsx
index da94084082e..89737980d9c 100644
--- a/ivette/src/renderer/Properties.tsx
+++ b/ivette/src/renderer/Properties.tsx
@@ -137,6 +137,7 @@ function filterKind(
case 'reachable': return filter('kind.reachable');
case 'axiomatic': return filter('kind.axiomatic');
case 'loop_pragma': return filter('kind.pragma');
+ case 'assumes': return filter('kind.assumes');
default: return filter('kind.others');
}
}
@@ -347,6 +348,7 @@ function PropertyFilter() {
<CheckField label="Reachables" path="kind.reachable" />
<CheckField label="Axiomatics" path="kind.axiomatic" />
<CheckField label="Pragma" path="kind.pragma" />
+ <CheckField label="Assumes" path="kind.assumes" />
<CheckField label="Others" path="kind.others" />
</Section>
<Section label="Alarms">
--
GitLab