Skip to content
This repository has been archived by the owner on Oct 10, 2022. It is now read-only.

Latest commit

 

History

History
17 lines (10 loc) · 1009 Bytes

README.md

File metadata and controls

17 lines (10 loc) · 1009 Bytes
Raw

RecordFlux Specifications

This repository contains specifications of real-world binary formats using RecordFlux.

Development

For developing new specifications a recent version of RecordFlux and some testing tools need to be installed. The use of a virtual environment is recommended. Apart from GNAT, the installation of all Python dependencies can be done in three simple steps:

$ virtualenv -p python3 venv
$ source venv/bin/activate
$ pip3 install -r requirements.txt

The tests can be executed using make test. New specifications in the top-level directory are automatically detected. Each message specification is validated by valid and invalid binary samples, which are expected in tests/data/<package_name>/<message_name>/valid and tests/data/<package_name>/<message_name>/invalid, respectively.