No tests for concrete execution of regex

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

No tests for concrete execution of regex #31

Closed jawline closed 5 years ago

jawline commented 5 years ago

A bad run method usage has caused bugs. This should be tested so it doesn't happen again.