SEATC 0.2.21 → 0.2.22
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/lib/Automaton Analyzer.rb +3 -2
- metadata +2 -2
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA1:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: d86ce1fc6bbff8d0ad8f8533a8e1c3d40d057b19
|
4
|
+
data.tar.gz: 7cbedc1d727988a5424b75c73308b31b6388ae7c
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: c816a1eacc6faf1a922a755a527447a844a5532d2d170d9b02d92845e0087945c664329d87bb12df151c9d4f23f47709e42cbd900445db002e203b0e504f9c0b
|
7
|
+
data.tar.gz: 34837e4bbc124225489685cd4c8c6b2f101f2bd0f67d70f7ab238d4f1c6ba590d7d23eb391b008d7a6d15e112fcc4f90dba2760bb16fdde63172d85848506853
|
data/lib/Automaton Analyzer.rb
CHANGED
@@ -168,8 +168,9 @@ class AutomatonAnalyzer
|
|
168
168
|
modified = lines[counter]
|
169
169
|
end
|
170
170
|
#Validate
|
171
|
-
|
172
|
-
|
171
|
+
lin = testString
|
172
|
+
return false if(@deterministic && !isDeterministic(states))
|
173
|
+
return false if initialState == nil
|
173
174
|
valid = validateString(initialState, states, lin)
|
174
175
|
if @valid
|
175
176
|
ret = true
|
metadata
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: SEATC
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 0.2.
|
4
|
+
version: 0.2.22
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Salvador Guerra Delgado
|
@@ -60,7 +60,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
|
|
60
60
|
version: '0'
|
61
61
|
requirements: []
|
62
62
|
rubyforge_project:
|
63
|
-
rubygems_version: 2.
|
63
|
+
rubygems_version: 2.5.2.1
|
64
64
|
signing_key:
|
65
65
|
specification_version: 3
|
66
66
|
summary: SEATC
|