The parser and the symbolic execution engine of Eunomia are uploaded into the parser folder and engine folder, respectively.
Please mention that some prerequisites are necessary for using parser and engine:
-
Notifications
You must be signed in to change notification settings - Fork 0
PKU-ASAL/Eunomia-ISSTA23
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published