umaudemc 0.13.0__py3-none-any.whl → 0.13.1__py3-none-any.whl

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.
Files changed (10) hide show
  1. umaudemc/__init__.py +1 -1
  2. umaudemc/simulators.py +3 -2
  3. umaudemc/statistical.py +1 -0
  4. {umaudemc-0.13.0.dist-info → umaudemc-0.13.1.dist-info}/METADATA +1 -1
  5. {umaudemc-0.13.0.dist-info → umaudemc-0.13.1.dist-info}/RECORD +9 -10
  6. {umaudemc-0.13.0.dist-info → umaudemc-0.13.1.dist-info}/WHEEL +1 -1
  7. umaudemc/command/acheck.py +0 -21
  8. {umaudemc-0.13.0.dist-info → umaudemc-0.13.1.dist-info}/LICENSE +0 -0
  9. {umaudemc-0.13.0.dist-info → umaudemc-0.13.1.dist-info}/entry_points.txt +0 -0
  10. {umaudemc-0.13.0.dist-info → umaudemc-0.13.1.dist-info}/top_level.txt +0 -0
umaudemc/__init__.py CHANGED
@@ -1 +1 @@
1
- __version__ = '0.12.2'
1
+ __version__ = '0.13.1'
umaudemc/simulators.py CHANGED
@@ -79,8 +79,9 @@ class BaseSimulator:
79
79
  if not t:
80
80
  t, var = parse_hole_term(self.module, observation)
81
81
  self.obs_cache[observation] = (t, var)
82
- subs = maude.Substitution({var: self.state})
83
- t = subs.instantiate(t)
82
+ if var is not None:
83
+ subs = maude.Substitution({var: self.state})
84
+ t = subs.instantiate(t)
84
85
  t.reduce()
85
86
 
86
87
  return float(t == self.true) if t.getSort() == self.bool_sort else float(t)
umaudemc/statistical.py CHANGED
@@ -221,6 +221,7 @@ def thread_main(program, qdata, simulator, num_sims, block_size, seed, queue, ba
221
221
  def run_parallel(program, qdata, num_sims, max_sim, simulator, alpha, delta, block_size, jobs, verbose=False):
222
222
  """Run the simulation in multiple threads"""
223
223
  import multiprocessing as mp
224
+ mp.set_start_method('fork', force=True)
224
225
 
225
226
  # When the number of jobs is zero or negative, we take the CPU count
226
227
  if jobs <= 0:
{umaudemc-0.13.0.dist-info → umaudemc-0.13.1.dist-info}/METADATA RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.1
2
2
  Name: umaudemc
3
- Version: 0.13.0
3
+ Version: 0.13.1
4
4
  Summary: Unified Maude model-checking utility
5
5
  Author-email: ningit <ningit@users.noreply.github.com>
6
6
  License: GPLv3
{umaudemc-0.13.0.dist-info → umaudemc-0.13.1.dist-info}/RECORD RENAMED
@@ -1,4 +1,4 @@
1
- umaudemc/__init__.py,sha256=KzYlv9mV5BAclb_b4mb6NprSS8L9Xd0qsNzjQFwnp30,23
1
+ umaudemc/__init__.py,sha256=pMjW1X1oCiVe0NrTCY4GkT0Wt53V0JJzr08mFS8RKk8,23
2
2
  umaudemc/__main__.py,sha256=PBIa2mStJwNIK5YnwoCefEB_a59VLkHE_Zp_1hnMyg4,14060
3
3
  umaudemc/api.py,sha256=I-o5foy8NUlO4JT4pX9L7kkuHQG_8_GMkWlOKt708E8,19733
4
4
  umaudemc/backends.py,sha256=mzJkALYwcKPInT0lBiRsCxJSewKvx5j_akQsqWN1Ezo,4590
@@ -16,8 +16,8 @@ umaudemc/probabilistic.py,sha256=f1ZtV84mAuaaGSmYCpun8gaUi5PFGCPD96BUgYvvBGk,293
16
16
  umaudemc/pyslang.py,sha256=m501iqJb4fVlIimpOy_tO7woK5QLkTWYav0no7onoXM,85099
17
17
  umaudemc/quatex.py,sha256=HQoiC8N7WnloHPBgNlcpWUi0NcIyUXm3IK_glfHbu4A,21611
18
18
  umaudemc/resources.py,sha256=k1sekrTafAcOb7GQN-mx2BgCBEBPUi-IR_4EjNjRRmU,1530
19
- umaudemc/simulators.py,sha256=gjCWR-TiPeOv65viH-djAkazqaLV0olwfbU6Nak2rdE,13205
20
- umaudemc/statistical.py,sha256=Az7r4uuB1XrO4akBiYu2th7DSPGzDDAacu6W5wJym-Q,9015
19
+ umaudemc/simulators.py,sha256=84W30MWWe4QRxK24RGA0zuwXjPya4wH18PrhPKdOpyU,13229
20
+ umaudemc/statistical.py,sha256=g5tfSzRWzKWivP793dxXuUJ1ftRrJKlSi27qvPPMxZs,9056
21
21
  umaudemc/terminal.py,sha256=B4GWLyW4Sdymgoavj418y4TI4MnWqNu3JS4BBoSYeTc,1037
22
22
  umaudemc/usermsgs.py,sha256=d3RfyBGEBmcV_c2MeXWCtZIiiM2vFnaHsN3MHwMnyAs,583
23
23
  umaudemc/webui.py,sha256=7dWf5VVl5dGN9oBVTT8m6F4v_QqEbsKSH67q5FljuT8,11071
@@ -36,7 +36,6 @@ umaudemc/backend/spin.py,sha256=fe5w1YyVQ3LHGiP7jVex5yXC17CwTHlPvM4B3j7kvwk,9663
36
36
  umaudemc/backend/spot.py,sha256=P7vkxhY7Tx9J_rOmlua3bfiO8iMgNIuEi25ZNYZRLHk,283
37
37
  umaudemc/backend/storm.py,sha256=FlhJ0ZkJO84GjEUxuE2hQQJxJoeE_lElBB5NJL4NXTU,276
38
38
  umaudemc/command/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
39
- umaudemc/command/acheck.py,sha256=lEywzcr-yEszvVcEaCELBqN3FJBNpr8C6Xoo8qGWxrU,385
40
39
  umaudemc/command/check.py,sha256=fzRUGAHNudZPYFk94ekwKplv9N7Fhsrmf5pOFsvPZwA,12030
41
40
  umaudemc/command/graph.py,sha256=74U-yY9NEm5oTeUjspkwy6Ve_eLBTwx8LgZDzUk2LQw,6112
42
41
  umaudemc/command/pcheck.py,sha256=RcgwQn8xBgt9eZC1sE3JzR97MB0SC6Q1AXuiKkkzJes,7274
@@ -51,9 +50,9 @@ umaudemc/data/smcgraph.js,sha256=iCNQNmsuGdL_GLnqVhGDisediFtedxw3C24rxSiQwx8,667
51
50
  umaudemc/data/smcview.css,sha256=ExFqrMkSeaf8VxFrJXflyCsRW3FTwbv78q0Hoo2UVrM,3833
52
51
  umaudemc/data/smcview.js,sha256=_fHum1DRU1mhco-9-c6KqTLgiC5u_cCUf61jIK7wcIQ,14509
53
52
  umaudemc/data/templog.maude,sha256=TZ-66hVWoG6gp7gJpS6FsQn7dpBTLrr76bKo-UfHGcA,9161
54
- umaudemc-0.13.0.dist-info/LICENSE,sha256=MrEGL32oSWfnAZ0Bq4BZNcqnq3Mhp87Q4w6-deXfFnA,17992
55
- umaudemc-0.13.0.dist-info/METADATA,sha256=TxKYoZevbw_qjRETGj5rzpnrAmdWs2DEQcUT_zhgQdY,1693
56
- umaudemc-0.13.0.dist-info/WHEEL,sha256=oiQVh_5PnQM0E3gPdiz09WCNmwiHDMaGer_elqB3coM,92
57
- umaudemc-0.13.0.dist-info/entry_points.txt,sha256=8rYRlLkn4orZtAoujDSeol1t_UFBrK0bfjmLTNv9B44,52
58
- umaudemc-0.13.0.dist-info/top_level.txt,sha256=Yo_CF78HLGBSblk3890qLcx6XZ17zHCbGcT9iG8sfMw,9
59
- umaudemc-0.13.0.dist-info/RECORD,,
53
+ umaudemc-0.13.1.dist-info/LICENSE,sha256=MrEGL32oSWfnAZ0Bq4BZNcqnq3Mhp87Q4w6-deXfFnA,17992
54
+ umaudemc-0.13.1.dist-info/METADATA,sha256=FYNu7K2Mr4bn93Y0ssvIMn7jXBcK-okaAgVKP4nlBHY,1693
55
+ umaudemc-0.13.1.dist-info/WHEEL,sha256=GJ7t_kWBFywbagK5eo9IoUwLW6oyOeTKmQ-9iHFVNxQ,92
56
+ umaudemc-0.13.1.dist-info/entry_points.txt,sha256=8rYRlLkn4orZtAoujDSeol1t_UFBrK0bfjmLTNv9B44,52
57
+ umaudemc-0.13.1.dist-info/top_level.txt,sha256=Yo_CF78HLGBSblk3890qLcx6XZ17zHCbGcT9iG8sfMw,9
58
+ umaudemc-0.13.1.dist-info/RECORD,,
{umaudemc-0.13.0.dist-info → umaudemc-0.13.1.dist-info}/WHEEL RENAMED
@@ -1,5 +1,5 @@
1
1
  Wheel-Version: 1.0
2
- Generator: bdist_wheel (0.42.0)
2
+ Generator: bdist_wheel (0.43.0)
3
3
  Root-Is-Purelib: true
4
4
  Tag: py3-none-any
5
5
 
umaudemc/command/acheck.py DELETED
@@ -1,21 +0,0 @@
1
- #
2
- # Admissibility checking subcommand
3
- #
4
-
5
- import os
6
-
7
- from ..common import parse_initial_data, usermsgs
8
- # Meter las herramientas en backends y usar la misma estrategia que en otros contextos
9
-
10
- def acheck(args):
11
- """Admissibility check subcommand"""
12
-
13
- # Parse the module data
14
- data = parse_initial_data(args, only_module=True)
15
-
16
- if data is None:
17
- return 1
18
-
19
- print(data.module)
20
-
21
- return 0