Working on compositional-analysis branch. Multiprocessing code to generate traces monolithically.
Coding tests to analyze benefits of compositional analysis vs. monolithic.
abhip02/VerifAI
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Working on compositional-analysis branch. Multiprocessing code to generate traces monolithically.
Coding tests to analyze benefits of compositional analysis vs. monolithic.