Adding tests and usage examples to 'cleanup' branch

muraliadithya / mini-sygus

a constraint-based syntax-guided synthesis (SyGuS) engine

9 stars 0 forks source link

Closed muraliadithya closed 3 years ago

muraliadithya commented 3 years ago

Cleanup branch has only one usage example which is not well-explained. Tests and usage example need to be added for each class and module.

muraliadithya commented 3 years ago

Resolved by fb4f4fc27aa3fcfbdf7443fb6ac8a2bee06a888b