[cosmetic] Consistently categorize HornTest>>provePos/Neg

shingarov · Oct 17, 2024 · 4968bbe · 4968bbe
1 parent 6187ebe
commit 4968bbe
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Refinements-Tests/HornTest.class.st b/src/Refinements-Tests/HornTest.class.st
@@ -4,15 +4,15 @@ Class {
 	#category : #'Refinements-Tests'
 }
 
-{ #category : #tests }
+{ #category : #proving }
 HornTest >> proveNeg: txt [
 	| q |
 	q := NNFParser parse: txt.
 	self deny: q isPetitFailure.
 	self deny: q solve isSafe
 ]
 
-{ #category : #'tests - safety' }
+{ #category : #proving }
 HornTest >> provePos: txt [
 	| q |
 	q := NNFParser parse: txt.