fsainas/contracts-verification-benchmark

Issues

• Halmos, hevm? Also, there's another benchmark set that could be integrated I think!

  #67 opened a year ago by msooseth
  1

• Certora does not distinguish between strong and weak positive/negative

  #51 opened a year ago by petitnau
  0

• Allow negation of properties

  #43 opened a year ago by petitnau
  0

• Discrepancy in timeouts in SolCMC

  #55 opened a year ago by bitbart
  0

• Reference property by key

  #42 opened a year ago by petitnau
  0

• Fix timeout issue with solc

  #41 opened a year ago by bitbart
  0