search

u-t-autonomous / sydar

Synthesis Done Approximately Right
Other
2 stars 1 forks source link

Add integration tests #13

Open sahabi opened 7 years ago

sahabi commented 7 years ago

Use the input files in examples for integration testing.