Denghang

./bin/stringfuzzg not work without installing

1

I run the command below in the root directory of the repository (without installing): ```sh ./bin/stringfuzzg --help ``` And I get the error: ```sh ➜ stringfuzz git:(main) ./bin/stringfuzzg Traceback (most...

Miss some model

3

Variables without constraints do not generate model. Like the example below, the model of `len_x` and `y` will not be generated: ```sh ; sat (declare-fun x ()String) (declare-fun y ()String)...

I want to use [Metal](https://scalameta.org/metals/docs/editors/vscode/) or [Intellij IDEA](https://scalameta.org/metals/docs/editors/vscode/) to hack the imported packages of ostrich. But the package ecma2020-regex-parser is outside of sbt repo, making me trouble to navigate to...

For example below, ostrich can not generate right unsat core: ``` (set-option :produce-unsat-cores true) (declare-const x String) (declare-const i Int) (assert (= x "hh")) (assert (= i (str.len x))) (assert...