PPTransTPTP : Duplicate annotated formula name

CLEARSY / pptranspog

Encoding of proof obligations generated by Atelier B to typed first-order formats (SMT, TPTP) using the ppTrans approach

GNU General Public License v3.0

0 stars 2 forks source link

Closed dde-cls closed 1 year ago

dde-cls commented 1 year ago

ERROR: Duplicate annotated formula name "b_division_def_3"

dde-cls commented 1 year ago

Fixed by 81203dc