From 3deb967f7fb86f3439725a5ca66a3ef83cca2e09 Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Fri, 15 Oct 2021 16:23:02 +0200
Subject: [PATCH] Add PSL property & sequences to formal tests list

---
 formal/tests.mk | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/formal/tests.mk b/formal/tests.mk
index 8f0054a..ff5a0a8 100644
--- a/formal/tests.mk
+++ b/formal/tests.mk
@@ -28,6 +28,8 @@ psl_sere_non_len_matching_and \
 psl_sere_concat \
 psl_sere_fusion \
 psl_prev \
+psl_property \
+psl_sequence \
 psl_stable \
 psl_rose \
 psl_fell \