Module `Binary_emitter_verify.For_testing`

Functions for testing the verification logic itself.

val compare_object_files : 
  (module Compiler_owee.Unix_intf.S) ->
  expected_pathname:string ->
  actual_pathname:string ->
  result

Compare two object files directly using Owee extraction. Useful for testing the comparison logic without the binary emitter.

parameter expected_pathname
Path to the "expected" object file

parameter actual_pathname
Path to the "actual" object file to compare against

returns
Comparison result