search

u-t-autonomous / sydar

Synthesis Done Approximately Right
Other
2 stars 1 forks source link

Parse errors #4

Closed ipapusha closed 7 years ago

ipapusha commented 7 years ago

The following files lead to parse errors: examples/pftm16_ex1.miu examples/pftm16_ex2.miu

sahabi commented 7 years ago

The parse error was due to A = [[2,-2],[1,0]; not having a closing bracket, therefore the bug is in the example file. It would be nice to check for such cases and alert the user. I'll keep this issue open until I add this feature.

sahabi commented 7 years ago

Will close and add it to this ticket: https://github.com/u-t-autonomous/sydar/issues/5