This Avenir run seems like it should succeed, but gives exception

[jafingerhut]

In the directory hello5, the command make run that I thought would succeed instead causes an exception to occur. Does this look expected to you? The table entries it prints look correct to me for the target, and seem possible to implement without duplicate keys.

$ make run
../avenir synth abstract.p4 target.p4 inserts-possible.sscli no_edits.csv fvs -b 1000 -e 10 -data inserts-possible.sscli -I1 includes -I2 includes -P4 -p --hint mask --cache-edits 1 --thrift
solver child (pid 2024), exited with return code 0, exited
solver child (pid 2027), exited with return code 0, exited
table_add ipv4_rewrite rewrite 0x1 => 0x400000000
table_add ipv4_fwd ipv4_forward 0xa00000a => 0x1
table_add ipv4_rewrite rewrite 0x2 => 0x500000000
table_add ipv4_fwd ipv4_forward 0xa000014 => 0x2
Uncaught exception:
  
  ("Map.of_alist_exn: duplicate key" ?AddRowToipv4_rewrite)

Raised at file "src/error.ml" (inlined), line 8, characters 14-30
Called from file "src/map.ml", line 1266, characters 8-143
Called from file "src/map.ml", line 2242, characters 25-63
Called from file "lib/EAbstr.ml", line 197, characters 19-53
Called from file "lib/EAbstr.ml", line 218, characters 8-47
Called from file "src/option.ml", line 265, characters 23-28
Called from file "src/list.ml", line 252, characters 13-16
Called from file "lib/Synthesis.ml", line 194, characters 4-95
Called from file "lib/Synthesis.ml", line 248, characters 8-38
Called from file "list.ml", line 121, characters 24-34
Called from file "lib/Synthesis.ml", line 281, characters 19-63
Called from file "bin/Main.ml", line 256, characters 12-75
Called from file "src/command.ml", line 2453, characters 8-238
Called from file "src/exn.ml", line 111, characters 6-10
make: *** [Makefile:2: run] Error 1

hello5.zip

[jafingerhut]

Apologies if I'm blasting you with issues when you have other things to work on. Feel free to let these sit until whenever you might have time available.