Add a test for "is element of aShallowRefinement"

shingarov · Oct 23, 2023 · 9617c0d · 9617c0d
1 parent 24fec75
commit 9617c0d
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/Refinements-Tests/ShallowRefinementTest.class.st b/Refinements-Tests/ShallowRefinementTest.class.st
@@ -47,6 +47,14 @@ ShallowRefinementTest >> testInvertFactorial [
 		equals: 5
 ]
 
+{ #category : #'tests - factorial' }
+ShallowRefinementTest >> testNincludes1 [
+	| ℕ |
+	ℕ := Int sort | [ :k | k >= 0 ].
+	self assert: 1 ∈ ℕ.
+	self deny:  -1 ∈ ℕ.
+]
+
 { #category : #'tests - sets' }
 ShallowRefinementTest >> testSubset [
 	| gt1 gt0 |