Certora/gambit

Issues

• Forse

  #38 opened a year ago by bpavo
  0

• Foundry x Gambit Compatibility

  #36 opened a year ago by samparsky
  0

• Improve --outdir argument behavior

  #23 opened 2 years ago by Sta1400
  1

• Add mutation configuration to `gambit_out` to allow for reproducibility

  #31 opened a year ago by BenTheKush
  0

• Request: Provide platform dependent binaries as well for macOS

  #29 opened a year ago by sambacha
  0

• Request for addition of mutation for relational operators in Gambit tool

  #18 opened 2 years ago by Sta1400
  2

• Issue with require-statement mutation in Gambit tool: Expression replacement not implemented

  #20 opened 2 years ago by Sta1400
  2

• Create a log file of all generated mutants along with meta data

  #4 opened 2 years ago by bkushigian
  1

• Issue with Gambit tool when generating maximum number of mutants

  #17 opened 2 years ago by Sta1400
  3

• Issue with function-call mutation in Gambit tool: Require statement treated as a function

  #19 opened 2 years ago by Sta1400
  1

• Issue with swap-arguments-function mutation in Gambit tool: Limited to functions with 2 arguments

  #21 opened 2 years ago by Sta1400
  2

• Vyper Compatibility

  #16 opened 2 years ago by ControlCplusControlV
  2

• Generate a report that summarizes gambit's result

  #8 opened 2 years ago by chandrakananandi
  1

• A more "best effort" invocation of solc

  #3 opened 2 years ago by chandrakananandi
  1