Module validate

Module validate 

Source

Functions§

blqd_simulate_stack
Stack type simulation.
blqd_validate_addresses
Architecture-dependent validation (addresses + capability constraints).
blqd_validate_structure
Structural validation (arity bounds, initial_fill ordering, etc.)
blqd_validation_error_message
Error message at index. Returns NULL if index is out of range. Pointer is valid until the handle is freed.
blqd_validation_errors_count
Number of errors in the handle.
blqd_validation_errors_free
Free a validation errors handle.