pub fn load_program(path: &Path) -> Result<HappensBeforeProgram>Expand description
Load a happens-before specification from a JSON file and normalize it into a
HappensBeforeProgram. Code locations remain unresolved until
resolve_program runs against a DebugInfoResolver.