Published June 14, 2024 | Version v2.0.10
Software Open

smartbugs/smartbugs: SmartBugs 2.0.10

Authors/Creators

  • 1. Instituto Superior Técnico & INESC-ID
  • 2. University of Porto
  • 3. NUAA
  • 4. Student
  • 5. KTH Royal Institute of Technology

Description

  • Add Slither 0.10.0
  • Add debugging aids

Files

smartbugs/smartbugs-v2.0.10.zip

Files (236.0 kB)

Name Size Download all
md5:5e8993689a67a0181b8b09b51ec9f283
236.0 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/smartbugs/smartbugs/tree/v2.0.10 (URL)