Rename variables that use built-in z3 keyword

unitb / literate-unitb

[INACTIVE] Development continued in literate-unitb-complete

MIT License

2 stars 0 forks source link

Closed bandali0 closed 7 years ago

bandali0 commented 8 years ago

Originally reported by: Simon Hudon (Bitbucket: cipher2048, GitHub: Unknown)

(declare-const rem Int)

produces

(error "line 36 column 31: invalid declaration, builtin symbol rem")

we should use

(declare-const b$rem Int)

instead

bandali0 commented 7 years ago

Kamino closed and cloned this issue to unitb/literate-unitb-complete