Probably some kind of type error or missing case in some big match somewhere.
[failure] interp_expr: failure in eval_binary_op (You may want to break this error out into its own variant in Semantics.Exn.t instead of using Exn.Other)
Raised at Stdlib.failwith in file "stdlib.ml", line 29, characters 17-33
Called from Petr4__Stf.run_test in file "lib/stf.ml", line 43, characters 10-36
Called from P4stf__Test.stf_alco_test.run_stf_alcotest in file "p4stf/test.ml", line 113, characters 30-54
Called from Alcotest_engine__Core.Make.protect_test.(fun) in file "src/alcotest-engine/core.ml", line 181, characters 17-23
Called from Alcotest_engine__Monad.Identity.catch in file "src/alcotest-engine/monad.ml", line 24, characters 31-35
Probably some kind of type error or missing case in some big match somewhere.