mbt-gen 0.0.12 → 0.0.13
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 +13 -0
- 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: 112610c6e247d3de6fc7c69afc0a668659dbcffc9ee1786967bf4a69d9586520
|
|
4
|
+
data.tar.gz: d0eea35ebf9689ca1bead1e9efe8e8f2a96b75d45b644484875e383927dd2b91
|
|
5
5
|
SHA512:
|
|
6
|
-
metadata.gz:
|
|
7
|
-
data.tar.gz:
|
|
6
|
+
metadata.gz: 137856eff73bfde902b67a9bdc97426253b036a79be6d1b6e912ceaa6012a27bb27715d3de26fb75210602985b8e8bdbe6e43cf15db8edb4f931db69f9b16c5d
|
|
7
|
+
data.tar.gz: 37e9195a691a211aca006aef7ba57cfc5a91d46f61327acd0297385911f8d29fe4b60dcd77a3514a3b5565aff7d5517d92413e3a80005eff1b24c204bd83c87e
|
data/lib/mbt-gen.rb
CHANGED
|
@@ -596,6 +596,19 @@ def translate_validation_rules_to_SMTLIB(progress, solver, struct, prefix, confi
|
|
|
596
596
|
new_prefix = key.to_s
|
|
597
597
|
end
|
|
598
598
|
translate_validation_rules_to_SMTLIB(progress, solver, value[:ref], new_prefix, config, options)
|
|
599
|
+
elsif value[:type] == :objlist then
|
|
600
|
+
maxLength = value[:model_maxLength]
|
|
601
|
+
unless maxLength then
|
|
602
|
+
raise RuntimeError.new("encountered objList without :model_maxLength property!")
|
|
603
|
+
end
|
|
604
|
+
maxLength.times do |i|
|
|
605
|
+
if prefix then
|
|
606
|
+
new_prefix = "#{prefix.to_s}/#{key}/#{i}"
|
|
607
|
+
else
|
|
608
|
+
new_prefix = "#{key.to_s}/#{i}"
|
|
609
|
+
end
|
|
610
|
+
translate_validation_rules_to_SMTLIB(progress, solver, value[:ref], new_prefix, config, options)
|
|
611
|
+
end
|
|
599
612
|
end
|
|
600
613
|
end
|
|
601
614
|
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.13
|
|
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-
|
|
11
|
+
date: 2026-11-01 00:00:00.000000000 Z
|
|
12
12
|
dependencies:
|
|
13
13
|
- !ruby/object:Gem::Dependency
|
|
14
14
|
name: nokogiri
|