Contents

require 'stamina/stamina_test'
require 'stamina/abbadingo'
module Stamina
  module Abbadingo
    class RandomDFATest < StaminaTest

      def test_it_looks_ok_with_default_options
        dfa = RandomDFA.new(32).execute
        assert dfa.deterministic?
        assert dfa.minimal?
        assert dfa.complete?
      end

    end # class RandomDFATest
  end # module Abbadingo
end # module Stamina

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
stamina-0.4.0	test/stamina/abbadingo/random_dfa_test.rb