<commit_before>Class {
	#name : #K2StateTest,
	#superclass : #TestCase,
	#category : #'K2-Automata'
}

{ #category : #tests }
K2StateTest >> testStateIsInitialStateExistExample [
	<gtExample>
	| state |
	state := K2State new.
	self assert: state isInitialState equals: true.
	^state
]

{ #category : #tests }
K2StateTest >> testStateIsNamedExample [
	<gtExample>
	| state |
	state := K2State named: #A.
	self assert: state name equals: #A.
	^state
]<commit_msg>Verification that the normal state of the automaton exists<commit_after>Class {
	#name : #K2StateTest,
	#superclass : #TestCase,
	#category : #'K2-Automata'
}

{ #category : #tests }
K2StateTest >> testStateIsInitialStateExistExample [
	<gtExample>
	| state |
	state := K2State new.
	self assert: state isInitialState equals: true.
	^state
]

{ #category : #tests }
K2StateTest >> testStateIsNamedExample [
	<gtExample>
	| state |
	state := K2State named: #A.
	self assert: state name equals: #A.
	^state
]

{ #category : #tests }
K2StateTest >> testStateIsNormalStateExistExample [
	<gtExample>
	| state |
	state := K2State new.
	self assert: state isNormalState equals: true.
	^state
]
{'fraction_non_alphanumeric': 0.1254355400696864, 'fraction_numerical': 0.012195121951219513, 'mean_word_length': 4.577669902912621, 'pattern_counts': {'":': 0, '<': 8, '<?xml version=': 0, '>': 18, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2348072', 'n_tokens_mistral': 413, 'n_tokens_neox': 412, 'n_words': 104}