https://github.com/rshariffdeen/zesti
Docker Image for Klee-Zesti ( http://srg.doc.ic.ac.uk/projects/zesti/ )
https://github.com/rshariffdeen/zesti
Last synced: about 2 months ago
JSON representation
Docker Image for Klee-Zesti ( http://srg.doc.ic.ac.uk/projects/zesti/ )
- Host: GitHub
- URL: https://github.com/rshariffdeen/zesti
- Owner: rshariffdeen
- Created: 2018-06-13T05:24:13.000Z (almost 7 years ago)
- Default Branch: llvm-gcc
- Last Pushed: 2018-06-19T06:19:45.000Z (almost 7 years ago)
- Last Synced: 2025-02-09T19:39:00.051Z (4 months ago)
- Language: C
- Size: 216 MB
- Stars: 2
- Watchers: 4
- Forks: 1
- Open Issues: 1
-
Metadata Files:
- Readme: README.md