Skip to main content

No project description provided

Project description

fm-weck - Warp runExec in a container and conserve fm-tools

This project builds on Podman. To develop, you need to install Podman.

Install dependencies

fm-weck requires Python 3.10 or higher. fm-weck relies on an available Podman installation. To install Podman on Ubuntu, run the following command:

sudo apt install podman

Core principal of the Project

There are three modes of operation: run, shell and serve.

  • run: executes a single command in the containerized environment of a given verifier, specified through the corresponding fm-data YAML file
  • shell: enters an interactive shell inside of the container specified by the given verifier
  • serve: enables plug-and-play execution of formal methods tools: it downloads and unpacks a tool from the fm-tools metadata file into a user-specified cache directory on the host system and then runs the tool in the containerized environment

Development and Testing

When using any command with the fm-weck toolname ... syntax, the tool name is searched in src/fm_weck/resources/fm_tools. During the build process of the .whl file for fm-weck, the fm_tools/data directory is copied to that location. When running or developing fm-weck from the git repository, the user must make sure that the contents of fm_tools/data directory are available in the src/fm_weck/resources/fm_tools directory.

In Linux this can be done by running the following command in the root directory of the project:

ln -s $(pwd)/fm_tools/data $(pwd)/src/fm_weck/resources/fm_tools

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

fm_weck-0.0.1.tar.gz (31.7 MB view details)

Uploaded Source

Built Distribution

fm_weck-0.0.1-py3-none-any.whl (105.6 kB view details)

Uploaded Python 3

File details

Details for the file fm_weck-0.0.1.tar.gz.

File metadata

  • Download URL: fm_weck-0.0.1.tar.gz
  • Upload date:
  • Size: 31.7 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/5.0.0 CPython/3.12.1

File hashes

Hashes for fm_weck-0.0.1.tar.gz
Algorithm Hash digest
SHA256 fbde2e69f6d1dee51b9699e439f8e5a768c1cb937d343ed185cbab8403c57e83
MD5 189f3a92cd25a310691b0a79d44fe802
BLAKE2b-256 b1a28c6f9ef0f772bbc1a6af5f75884d5ce3c80031d21a37f24a953dd23c85cc

See more details on using hashes here.

File details

Details for the file fm_weck-0.0.1-py3-none-any.whl.

File metadata

  • Download URL: fm_weck-0.0.1-py3-none-any.whl
  • Upload date:
  • Size: 105.6 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/5.0.0 CPython/3.12.1

File hashes

Hashes for fm_weck-0.0.1-py3-none-any.whl
Algorithm Hash digest
SHA256 c7d4e7dec1a8ffcefa6cdeb48c1a9f0245c9092e7a930a5cea5c14bdef2c65e7
MD5 b1480031c3baa98952614327d1de30b9
BLAKE2b-256 0cc10d203615c1a89065411d42921defb1f68689790864a7fadc615762c7b466

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page