search

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4
Apache License 2.0
79 stars 21 forks source link

cast-senum.p4 failing #452

Open hackedy opened 1 year ago

hackedy commented 1 year ago

I expect this is somehow related to #380.

[failure] interp_expr: failure in eval_cast (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
hackedy commented 1 year ago

Similar bug appears to be affecting recursive-casts.p4.