Kaitai Struct description file for IBEX covering files

What is this

This repository contains the file cov.ksy, a Kaitai Struct description file of binary IBEX covering files produced by the solver ibexsolve from the IBEX library.

Kaitai Struct is a binary file parser generation library.

How to use

Please refer to the Kaitai README and the Kaitai website for all informations, but in short:

• Download kaitai-struct-compiler,
• Execute kaitai-struct-compiler cov.ksy -t <target-language>,
• Get the runtime for the target language,
• Include it in you project and use the Kaitai API.