Revise parse_sxmath for assignments

JuliaReach / SpaceExParser.jl

Parser for the SpaceEx modeling language in Julia

https://juliareach.github.io/SpaceExParser.jl/

MIT License

7 stars 1 forks source link

Revise parse_sxmath for assignments #14

Closed mforets closed 6 years ago

mforets commented 6 years ago

Note that for resets x=1, x:=1 and x'==1 are accepted. However, x==1 is not correct (as == is typically used for checks/comparison but not for assignements).