izlatkin/solidity_testgen

Issues

• [Question] function overloading vs CHCs

  #17 opened 2 years ago by izlatkin
  5

• [tg] a few functions are ignored during test generations

  #19 opened 2 years ago by izlatkin
  4

• [tg] multiple contracts case constructor_3

  #20 opened 2 years ago by izlatkin
  0

• [eld] and dump each query to separate smt file and then apply eldarica simplification

  #18 opened 2 years ago by izlatkin
  5

• [TG-nonlin] constructor support

  #15 opened 2 years ago by izlatkin
  2

• [TG-nonline] rureManager update

  #11 opened 2 years ago by izlatkin
  3

• [TG-nonlline] check ToDos

  #14 opened 2 years ago by izlatkin
  1

• support another data types for template test generation

  #5 opened 2 years ago by izlatkin
  1

• [TG] list ToDos seems incorrect

  #9 opened 2 years ago by izlatkin
  1

• [TG-nonlin] support function overloading

  #16 opened 2 years ago by izlatkin
  2

• [TG-nonlin] Assertion failed: (res != NULL), function marshal, file ZExprConverter.hpp, line 498.

  #2 opened 2 years ago by izlatkin
  3

• [TG-nonlin] Segmentation fault during parse(loadFPfromFile)

  #13 opened 2 years ago by izlatkin
  4

• [Q] naming convention for predicates, class fields, and arguments

  #7 opened 3 years ago by izlatkin
  50

• [Q] “definitive rules” for some predicate P = CHCs with P on RHS

  #6 opened 3 years ago by izlatkin
  0

• [encoding] some CHCs have src that are not presented in dst set

  #3 opened 3 years ago by izlatkin
  4

• [adt_transform] fails for a few benchmarks

  #12 opened 3 years ago by izlatkin
  0

• [z3] memory issue

  #10 opened 3 years ago by izlatkin
  0

• [foundry] add coverage feature

  #8 opened 3 years ago by izlatkin
  1

• [Q] map CHCs to functions/constructors name

  #4 opened 3 years ago by izlatkin
  1

• [tg-nonlin] EXC_BAD_ACCESS in api_context.cpp

  #1 opened 3 years ago by izlatkin
  3