[cosmetic] Link #shouldBeImplemented in #tcInvs and its skipped test

shingarov · Nov 18, 2024 · 423bc25 · 423bc25
1 parent 4de443d
commit 423bc25
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/SpriteLang-Tests/L8PosTest.class.st b/src/SpriteLang-Tests/L8PosTest.class.st
@@ -6,7 +6,7 @@ Class {
 
 { #category : #tests }
 L8PosTest >> test_append [
-	self skip
+	self skip "cf. #tcInvs"
 ]
 
 { #category : #tests }

diff --git a/src/SpriteLang/Array.extension.st b/src/SpriteLang/Array.extension.st
@@ -26,5 +26,5 @@ tcInvs :: [SrcData] -> F.SEnv Reft
 				| inv |
 				inv := d inv.
 				inv isKnown and: [ inv expr pTrivial not ]
-			]) collect: [ :d | d shouldBeImplemented ])
+			]) collect: [ :d | d shouldBeImplemented "L8 test_append" ])
 ]