Wheelodex » Projects » modelator

modelator

View on PyPI — Reverse Dependencies (1)

0.6.6 modelator-0.6.6-py3-none-any.whl

Wheel Details

Project: modelator
Version: 0.6.6
Filename: modelator-0.6.6-py3-none-any.whl
Download: [link]
Size: 54489
MD5: d823aa93db3b100f516a746e9d7f2143
SHA256: e1c6692c535a7bf85e14d0f18028e77ff9f9191b1ac0fa54cb0f4038c8f0d625
Uploaded: 2022-11-18 10:49:02 +0000

dist-info

METADATA · WHEEL · RECORD · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: modelator
Version: 0.6.6
Summary: Framework for Model Based Testing
Author: Andrey Kuprianov
Author-Email: andrey[at]informal.systems
Home-Page: https://github.com/informalsystems/atomkraft
Project-Url: Repository, https://github.com/informalsystems/atomkraft
License: Apache-2.0
Keywords: testing,model based testing,formal method,model checker,tla,apalache,tlc
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Topic :: Software Development :: Testing
Requires-Python: >=3.8,<4.0
Requires-Dist: appdirs (<2.0.0,>=1.4.4)
Requires-Dist: deepdiff (<7.0.0,>=6.2.1)
Requires-Dist: modelator-py (<0.3.0,>=0.2.6)
Requires-Dist: munch (<3.0.0,>=2.5.0)
Requires-Dist: pyrsistent (<0.20.0,>=0.19.2)
Requires-Dist: rich (<13.0.0,>=12.6.0)
Requires-Dist: semver (<3.0.0,>=2.13.0)
Requires-Dist: tabulate (<0.10.0,>=0.9.0)
Requires-Dist: toml (<0.11.0,>=0.10.2)
Requires-Dist: typer[all] (<0.8.0,>=0.7.0)
Requires-Dist: typing-extensions (<5.0.0,>=4.4.0)
Requires-Dist: watchdog (<3.0.0,>=2.1.9)
Requires-Dist: wget (<4.0,>=3.2)
Description-Content-Type: text/markdown
[Description omitted; length: 2492 characters]

WHEEL

Wheel-Version: 1.0
Generator: poetry-core 1.3.2
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
LICENSE sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ 11357
modelator/.python-version sha256=rGeoqWHOE1NzOu73didX8_OyjR9O8b-XNp87WjKbO0s 7
modelator/Model.py sha256=PeRIX9muQpFl2urTUuCSMLIz0FqQRJ4QEIvMT7po9qQ 14549
modelator/ModelMonitor.py sha256=rRx_iyZZYY-9n9n_r-IMrtE5eL_5-1Y9QjR1w4W7xOY 829
modelator/ModelResult.py sha256=Acgoeren3cRzfepF_sT0fv5ZIAeni1MDnrqZOwqU0II 4745
modelator/ModelShell.py sha256=Ifu9xDepzQ8Mn3e8QfrWayIHq9XhxLLnGGrRddqboUg 4519
modelator/__init__.py sha256=E2VXfXu41PFVzoK5A4lh5Jde8U_UqvosWTU9srzJhTs 123
modelator/__main__.py sha256=mP5d5TZXHG4EqG3CCp4VR8hwbvySkpFquHgwVtRtFSw 27
modelator/_version.py sha256=I3h5MyD10PkOUQEBnR6L9ja7s4WeTEg8rRjRKTCWYWQ 22
modelator/checker/CheckResult.py sha256=zc65N6UWFlcuYTMgBNgMwWHy1HWEtC3Ol2ps5UP8tR8 669
modelator/checker/check.py sha256=-tuBccmMGpyc6ILe36aW2vZSkOeHwS76cTAdzidmLDo 4635
modelator/checker/simulate.py sha256=Oygccrq_l_ALYbekapGjWkGTBDAhZuMVxidFwrc72DA 2447
modelator/cli/__init__.py sha256=Zt1PdDAOpYpIt1Zhj6hlP2ktBRDvHHrRWoQjUgeIe1g 18129
modelator/cli/model_config_file.py sha256=bVgHZBbRhQAH08iiHjvf492PldQLa0BPgj8CNiGexBk 2417
modelator/cli/model_file.py sha256=1_0wwNo2PXZ2IxUW8tYIYbUyx8Jj1quq0fA7h81L9Ps 1600
modelator/const_values.py sha256=mjRqFew_i74kDJ1Pxil-VJduh2u_yT8un4jKG1qStqc 1976
modelator/itf.py sha256=0TLKtI9cqAiRDbwFoa28hgyG3Gf72KM3kLSLx3e2iRU 10684
modelator/modelator_shell.py sha256=BGkMAh2kWAnPdGJVQbzhz-jnYke5GcMs7DNaMUVH6zA 404
modelator/monitors/content.py sha256=SypwhuhpKxRLzSB-eo02lf49H24LU8lvsrlcCXwIGEE 2243
modelator/monitors/html_monitor.py sha256=QmiJR9m4JfunYCq5VeyJDquEq_HFotKZv5Coa86Jr24 3805
modelator/monitors/html_writer.py sha256=Q0Bc8o8qB8XlrW8LGOorWV1sUmKFllxI-CZDf3r-2Go 4735
modelator/monitors/markdown_monitor.py sha256=xw6b58yJ4eUGJOh3KZlMptu2OdIn-5fdY9SFcst9O80 3828
modelator/monitors/markdown_writer.py sha256=P_341UW22EOBqvG00nGwuVl7jtTVQKAzYGQcWRTrNYI 2788
modelator/monitors/templates/html_monitor.html sha256=JWrroAy4BnFtTWirPMjDQcAVhP6j_ZJoJdOCWhjutqU 141
modelator/monitors/templates/html_section.html sha256=eXCZGl5CABHzx3v9GZH38qavfNHRM3OHDcMEhx1jZ-s 206
modelator/monitors/templates/html_section_entry.html sha256=yUW3BMUoljZhg07OlmfaW4tQ-c_ULsb7h-lwu1qslxA 52
modelator/monitors/templates/html_table.html sha256=ZbV6jIjg4cPm41vWbZFaLXXvOmIXxfeJ0kL-6PU03O4 60
modelator/monitors/templates/html_trace.html sha256=V_Mlgoj0218MibNPBtX2o10N6YcV-LRCMdEO_O8JVlM 53
modelator/parse.py sha256=zv6fcxUAiFDxnhCt-E5SrGW4--wcmtYr_7yhXkZzxFw 1258
modelator/pytest/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
modelator/pytest/decorators.py sha256=qM2MVk6mSgC2gwLCkbxHhkNgRxpzc3Cfa9F8ywraOsU 6549
modelator/samples/AlarmClock.tla sha256=rRyXGliw1gksS85SjPbMbgb9MzqHANz9XdMG08IHlF8 725
modelator/samples/Hello.cfg sha256=8p5QTvu4HYRzC5aK6-h08mMwXJnINl1ex4ZRw_gVTXQ 35
modelator/samples/Hello.tla sha256=sBQ16aTbSIiChqVlETkbsHlsfggVuaAZVyBxJgqHzzk 321
modelator/samples/HelloFlawed.tla sha256=E_QDKGlMDKsG1mrV4sFNmu5vE_XEnrNRFNNyY1qIED4 383
modelator/samples/HelloFlawedType.tla sha256=8Ci3dbzMstYYLBf8Mtnwn57JzXNPIAO5GO3Cg7WY628 386
modelator/samples/HelloFull.config.toml sha256=__HjAOGTVNrMxq5pW6HZPef3EQOU17K9DsycvVCZgE8 724
modelator/samples/HelloFull.tla sha256=E3ghMCCIipgbDTUFvvJ6cdx7uwySWBypqC4tf9G7eCQ 370
modelator/samples/HelloFull1.itf.json sha256=EgpH47A-lt_1uxZdLd6LRdV2wBtzdrRyQ9RDzNGhUXk 528
modelator/samples/HelloInv.tla sha256=eTIP8EGnzI-0gD3EFqb2HouOqB55nTq9F7zzgnG6p14 204
modelator/samples/HelloWorld.tla sha256=qAa1RoylgROWVdX96k2vHTYeiClxkcv2Rlym1DpZdVg 214
modelator/samples/HourClock.tla sha256=soFpf5B6ga3_UW0nvtJuyEOHqLmo9sbro6TURaAtBio 226
modelator/samples/HourClockTraits.tla sha256=uCG47-tvPctNkhNYASgfhSKLLydKXFhMBB3J8rfTsvw 504
modelator/samples/helloConfig.json sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
modelator/samples/helloModel.json sha256=9HixxmgD_spOITRpYnXKyMIkXacWIKv59e61T6MRpfk 470
modelator/typecheck.py sha256=cYnEUN-EYIrHG8xFMg7JoOiOg3Rvk1ReG4SJe-fbqd0 1364
modelator/utils/ErrorMessage.py sha256=TJoGIvh4Ho9kScbJYSbKeJcOuukerICCnxZ25wKicx4 765
modelator/utils/apalache_helpers.py sha256=6P_jZGMZe_z4pwImN0d_S6TLs2veGQGqIhM-e_kk44s 4775
modelator/utils/apalache_jar.py sha256=-tGJm1OjOZSSj2XLP3CbCoLuN8vwupo7HuEyeO4VrMI 3819
modelator/utils/helpers.py sha256=v6Ma6OMymLXUTvYE2rqa2vc5gXDZPWOzsLyjjceyH_w 230
modelator/utils/model_exceptions.py sha256=BaClldhfNY1xeE-65G62yscVa-tsgIFJ2LfuWpEWi04 1414
modelator/utils/modelator_helpers.py sha256=q7zUNAqSNgmICJH8Qdc8Am2WEWwqaInMl7XHh2xOyzQ 3414
modelator/utils/tla_helpers.py sha256=kATmtBxmHn2btWZCwOH8S6C4NcU0KoAeJ0qdh3Z5rek 3163
modelator/utils/tlc_helpers.py sha256=Dm0t0obIJVIOEaeRBYx4qBP8maByZp-C8hlOVJX77v0 161
modelator-0.6.6.dist-info/entry_points.txt sha256=73t531nErOz4ZJBDnOqNDWFu0ItYiW_chTjleDYRUjQ 93
modelator-0.6.6.dist-info/LICENSE sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ 11357
modelator-0.6.6.dist-info/WHEEL sha256=vxFmldFsRN_Hx10GDvsdv1wroKq8r5Lzvjp6GZ4OO8c 88
modelator-0.6.6.dist-info/METADATA sha256=e-d80JlbLVetcOM1nc9rggYaTeFgfrrIRUDpBY-4jKc 3916
modelator-0.6.6.dist-info/RECORD — —

entry_points.txt

[console_scripts]
modelator = modelator.cli:app
[pytest11]
pytest-modelator = modelator.pytest