Note: This is an experimental branch of Goblint for researching
If you do not know what it means, use goblint instead.
- Use build instructions from here.
- Run
runbench.shto generate the evaluation numbers. - ...
forked from goblint/analyzer
-
Notifications
You must be signed in to change notification settings - Fork 0
an experimental fork of goblint --- nothing to see here
License
Unknown, Unknown licenses found
Licenses found
Unknown
LICENSE
Unknown
LICENSE.libs
kalmera/analyzer
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
an experimental fork of goblint --- nothing to see here
Resources
License
Unknown, Unknown licenses found
Licenses found
Unknown
LICENSE
Unknown
LICENSE.libs
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- OCaml 49.9%
- C 48.3%
- Ruby 1.1%
- Shell 0.4%
- HTML 0.2%
- Python 0.1%