mbt-gen 0.0.8 → 0.0.9
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/mbt-gen.rb +5 -5
- metadata +2 -2
checksums.yaml
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
---
|
|
2
2
|
SHA256:
|
|
3
|
-
metadata.gz:
|
|
4
|
-
data.tar.gz:
|
|
3
|
+
metadata.gz: dd9a7ea0a78ff033dc866b98d56e7cae0f058e96ea63a9b150872fcf393197a5
|
|
4
|
+
data.tar.gz: ec0bda3f93bad648f79d52190bc6cfadaab7e6d06988f81869d017a49d1ccc56
|
|
5
5
|
SHA512:
|
|
6
|
-
metadata.gz:
|
|
7
|
-
data.tar.gz:
|
|
6
|
+
metadata.gz: 8a9aa5db05da1d32904fb227f2791023745d6727a34eaac76711424911522a402705f656ecc81f953a9ac3b1fd722ef9b870d210296f9d023c8b8f9a42f878ab
|
|
7
|
+
data.tar.gz: 9d81c6d1867f1cafaff988665310ee65a0ac0e41d23d46f5bbb326f8752d0a9ec58fe392fc3c24fd3d9279dcf3367489b9e9b1ffbcdad6768e9e37d7e3b67942
|
data/lib/mbt-gen.rb
CHANGED
|
@@ -1978,7 +1978,7 @@ def translate_struct_in_doc_to_SMTLIB(progress, solver, struct, doc, prefix, var
|
|
|
1978
1978
|
:assertion_type => :doc_field_empty,
|
|
1979
1979
|
:xpath => xpath,
|
|
1980
1980
|
}
|
|
1981
|
-
assertionID = "doc-#{
|
|
1981
|
+
assertionID = "doc-#{var_xpath.gsub('/', '-')}"
|
|
1982
1982
|
solver.associateAssertionIDWith(assertionID, info)
|
|
1983
1983
|
solver.to_solver(progress, "(assert (! (= #{filled_var_for_field(var_xpath)} false) :named #{assertionID}))")
|
|
1984
1984
|
end
|
|
@@ -1995,7 +1995,7 @@ def translate_struct_in_doc_to_SMTLIB(progress, solver, struct, doc, prefix, var
|
|
|
1995
1995
|
:xpath => xpath,
|
|
1996
1996
|
:values => fvalues
|
|
1997
1997
|
}
|
|
1998
|
-
assertionID = "doc-#{
|
|
1998
|
+
assertionID = "doc-#{var_xpath.gsub('/', '-')}"
|
|
1999
1999
|
solver.associateAssertionIDWith(assertionID, info)
|
|
2000
2000
|
clauses = []
|
|
2001
2001
|
fvalues.each_with_index do |fvalue, index|
|
|
@@ -2007,7 +2007,7 @@ def translate_struct_in_doc_to_SMTLIB(progress, solver, struct, doc, prefix, var
|
|
|
2007
2007
|
:assertion_type => :doc_field_empty,
|
|
2008
2008
|
:xpath => xpath,
|
|
2009
2009
|
}
|
|
2010
|
-
assertionID = "doc-#{
|
|
2010
|
+
assertionID = "doc-#{var_xpath.gsub('/', '-')}"
|
|
2011
2011
|
solver.associateAssertionIDWith(assertionID, info)
|
|
2012
2012
|
solver.to_solver(progress, "(assert (! (= #{filled_var_for_field(var_xpath)} false) :named #{assertionID}))")
|
|
2013
2013
|
end
|
|
@@ -2047,7 +2047,7 @@ def translate_struct_in_doc_to_SMTLIB(progress, solver, struct, doc, prefix, var
|
|
|
2047
2047
|
:size => num_elements,
|
|
2048
2048
|
:xpath => xpath
|
|
2049
2049
|
}
|
|
2050
|
-
assertionID = "doc-#{
|
|
2050
|
+
assertionID = "doc-#{var_xpath.gsub('/', '-')}"
|
|
2051
2051
|
solver.associateAssertionIDWith(assertionID, info)
|
|
2052
2052
|
clauses = []
|
|
2053
2053
|
solver.to_solver(progress, "(assert (! (and (= #{filled_var_for_field(var_xpath)} true) (= #{size_var_for_list(var_xpath)} #{num_elements})) :named #{assertionID}))")
|
|
@@ -2056,7 +2056,7 @@ def translate_struct_in_doc_to_SMTLIB(progress, solver, struct, doc, prefix, var
|
|
|
2056
2056
|
:assertion_type => :doc_field_empty,
|
|
2057
2057
|
:xpath => xpath,
|
|
2058
2058
|
}
|
|
2059
|
-
assertionID = "doc-#{
|
|
2059
|
+
assertionID = "doc-#{var_xpath.gsub('/', '-')}"
|
|
2060
2060
|
solver.associateAssertionIDWith(assertionID, info)
|
|
2061
2061
|
solver.to_solver(progress, "(assert (! (= #{filled_var_for_field(var_xpath)} false) :named #{assertionID}))")
|
|
2062
2062
|
end
|
metadata
CHANGED
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
|
2
2
|
name: mbt-gen
|
|
3
3
|
version: !ruby/object:Gem::Version
|
|
4
|
-
version: 0.0.
|
|
4
|
+
version: 0.0.9
|
|
5
5
|
platform: ruby
|
|
6
6
|
authors:
|
|
7
7
|
- FM-enthusiast
|
|
8
8
|
autorequire:
|
|
9
9
|
bindir: bin
|
|
10
10
|
cert_chain: []
|
|
11
|
-
date: 2026-08-
|
|
11
|
+
date: 2026-08-10 00:00:00.000000000 Z
|
|
12
12
|
dependencies:
|
|
13
13
|
- !ruby/object:Gem::Dependency
|
|
14
14
|
name: nokogiri
|