https://github.com/tudo-aqua/verifier-stub

https://github.com/tudo-aqua/verifier-stub

Last synced: about 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/tudo-aqua/verifier-stub
• Owner: tudo-aqua
• License: apache-2.0
• Created: 2021-09-30T21:30:38.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2024-05-31T09:54:03.000Z (7 months ago)
• Last Synced: 2024-05-31T11:11:16.632Z (7 months ago)
• Language: Java
• Size: 27.3 KB
• Stars: 0
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Verfier Stubs

Verifier Stub for seeding concolic values in JDart, Spout, etc.