SeeSpring

Stop ignoring `test_solver_unknown`

1

Originally ignored in #180 due to https://github.com/Z3Prover/z3/issues/5702 This requires [z3-4.8.14](https://github.com/Z3Prover/z3/releases/tag/z3-4.8.14)

Unsound conditional property

1

```js let d = {} let e = 0 if (Math.random()===0) {d.a = 0} if ('a' in d) { e = "" } e.toUpperCase() ``` Throws `Uncaught TypeError: e.toUpperCase is...

Incorrect prototype handling

2

```js let a = {a:0} let b = {get a(){return 0}} let c = Math.random() ? a : b let d = {} Object.setPrototypeOf(d, c) let e = '' if...