Skip to main content

HERMIT_VERIFICATION_DIVERGENCE_EXIT

Constant HERMIT_VERIFICATION_DIVERGENCE_EXIT 

Source
pub const HERMIT_VERIFICATION_DIVERGENCE_EXIT: i32 = 1;
Expand description

Exit status for a completed comparison that found a divergence.

This is the conventional diff result: zero means equal and one means different. The verification JSON distinguishes it from a guest that exits one of its own accord.