maurer / symfuzz Goto Github PK

Hello,
Could you tell me how to run symfuzz?
When I run ./symfuzz --help
It tells me

But I still don't know how to run it. And I don't know the format of the json files.

And another problem is that I know it has 3 components, but I don't know how to link them.
Thank you in advance.

Hello, I encountered a problem when I opened the tool symfuzz in VirtualBox. I need to log in, but I don't know the username and password.

$symfuzz/libinput$ sudo make install
ocamlbuild -no-links -X unittest libinput.cma libinput.cmxa

• /usr/bin/ocamlopt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
  File "myocamlbuild.ml", line 7, characters 20-55:
  Error: Unbound value Ocamlbuild_pack.Flags.mark_tag_used
  Command exited with code 2.
  Compilation unsuccessful after building 1 target (0 cached) in 00:00:00.
  Makefile:22: recipe for target 'lib' failed
  make: *** [lib] Error 10
  I found this error. Could you please help me to figure it out why?