testsmt/yinyang

Issues

• Exception while running typefuzz on the remote server

  #66 opened 10 months ago by BritikovKI
  3

• Deepcopy interrupt the execution.

  #64 opened 2 years ago by muchang
  0

• Issue with regex constants re.allchar

  #31 opened 3 years ago by jiwonparc
  0

• Parser rejects variables with prefix "bv"

  #25 opened 4 years ago by wintered
  0

• Sanity check for type-checking on the currently supported logics

  #33 opened 3 years ago by jiwonparc
  0

• False typechecker error (expected: Unknown)

  #34 opened 3 years ago by jiwonparc
  0

• Parsing error

  #60 opened 2 years ago by depted
  4

• Performance fuzzing

  #4 opened 2 years ago by chadbrewbaker
  4

• High memory usage

  #47 opened 3 years ago by mpreiner
  0

• Extend to support all logics (Typechecker)

  #36 opened 3 years ago by jiwonparc
  0

• Issues with respect to fusion

  #42 opened 3 years ago by merlinsun
  5

• pip package

  #8 opened 3 years ago by wintered
  0

• Add script for running yinyang in parallel mode

  #10 opened 4 years ago by wintered
  0

• Increase robustness of Typefuzz

  #35 opened 3 years ago by jiwonparc
  0

• Infrequent application of id rule

  #32 opened 3 years ago by jiwonparc
  0

• Typed expressions

  #13 opened 3 years ago by wintered
  0

• Integrate Typefuzz

  #30 opened 3 years ago by wintered
  0

• Refactoring and code style

  #5 opened 3 years ago by wintered
  0

• Improve format of usage/--help dialogue

  #6 opened 4 years ago by wintered
  1

• logging

  #11 opened 4 years ago by wintered
  1

• Clarify statistics output

  #12 opened 4 years ago by wintered
  1

• More general option fuzzing

  #28 opened 4 years ago by wintered
  0

• Support for Z3 tactics

  #27 opened 4 years ago by wintered
  0

• Extend DSL of OpFuzz config file

  #14 opened 4 years ago by wintered
  0

• Parser performance issues

  #15 opened 4 years ago by wintered
  1

• Print warning when no solvers specified

  #16 opened 4 years ago by wintered
  0

• Using empty fusion_function file makes yinyang hang.

  #19 opened 4 years ago by muchang
  0

• Cannot detect soundness issue when (get-model) is in the mutant.

  #18 opened 4 years ago by muchang
  0

• Parser bug on formula with string escape sequences

  #7 opened 4 years ago by wintered
  0

• Automate regression tests for fusion

  #9 opened 4 years ago by wintered
  1