Bogus safety violation checking if a set is a subset of Nat.

Part of Github issue $2948 #2948
apalache-mc · Sep 18, 2024 · 61d7e0d · 61d7e0d
1 parent 1af7b48
commit 61d7e0d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.unreleased/bug-fixes/BogusSafetyViolationSubsetNat.md b/.unreleased/bug-fixes/BogusSafetyViolationSubsetNat.md
@@ -0,0 +1 @@
+Show note that expression is unsupported instead of reporting a counterexample claiming that e.g. `{42} \in SUBSET Nat` is false.