coerceToString, coerceToObject should be made consistent with ECMA standard

ExpoSEJS / ExpoSE

A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

MIT License

185 stars 36 forks source link

coerceToString, coerceToObject should be made consistent with ECMA standard #47

Closed jawline closed 4 years ago

jawline commented 5 years ago

coerceToString should be rewritten to ToString, coerceToObject should be rewritten ToObject, etc for the informal model transformations

tapaswenipathak commented 5 years ago

Hi @jawline: Can I PR for the ticket? or is the ticket internal?

jawline commented 5 years ago

Feel free to take a look! in essence, I want to change coerceToObject, coerceToString, etc to ToBoolean, ToNumber, ToString and ToObject so that our function models can be more easily compared with the ECMA specification