Nested exec and match test cases fail

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

Nested exec and match test cases fail #42

Closed jawline closed 4 years ago

jawline commented 5 years ago

Test cases

ExpoSE/tests/regex/exec/greed/nested.js ExpoSE/tests/regex/match/greed/nested.js

both fail with max refinements - didn't happen before changes to the model.

Probably a bug in model generation for RegexpBuiltinExec.