Class {
	#name : #K2AutomatonTest,
	#superclass : #TestCase,
	#category : #'K2-Automata'
}

{ #category : #tests }
K2AutomatonTest >> testANewAutomatonHasNoStates [

		<gtExample>
	| a |
	a := K2Automaton new.
	self assert: a states isEmpty.
	^ a
]

Class {
	#name : #K2AutomatonTest,
	#superclass : #TestCase,
	#category : #'K2-Automata'
}

{ #category : #tests }
K2AutomatonTest >> testANewAutomatonHasNoStatesExample [

	<gtExample>
	| a |
	a := K2Automaton new.
	self assert: a states isEmpty.
	^ a
]

Remove `testANewAutomatonHasNoStates` and turn it into `testANewAutomatonHasNoStatesExample`.
Remove `testANewAutomatonHasNoStates` and turn it into `testANewAutomatonHasNoStatesExample`.
UMMISCO/kendrick