01:21
<snek>
well it happens that facebook wrote a js engine that uses symbolic execution
01:21
<snek>
so its not impossible to test out at least