blvm-spec-lock 0.1.31

BLVM Spec Lock: Purpose-built formal verification tool for Bitcoin Commons
Documentation
1
2
3
4
5
//! Reporting module for verification results
//!
//! Formats verification results for human-readable output, JSON, JUnit XML, etc.

// Placeholder for now - will be implemented in future phases