String not implemented in Boogie
Opened this issue · 0 comments
wmanshu commented
not implemented conversion for basic type: basicType(AST.RawType.BasicType.string)
Fatal error: file /home/manshu/flint/Sources/Verifier/Boogie/BoogieTranslator.swift, line 1128
flightManager.flint, cannot compile