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 \