Re: [tulip-control-users] Errors in running TuLip

[Necmiye Ö. <nec...@gm...>]

I meant "I am using v1.3, which is the latest release. I have not tried it with the current head of master branch.".

I don't have much experience with v1.4. Ioannis or Scott would know more about the recent changes.

Necmiye

> On Thu, Jan 25, 2018 at 12:39 AM, Mathur, Umang <uma...@il...> wrote:
> Thanks for the quick response.
> I am using tulip-1.4.0 .
> 
> Do you recommend that I should use tulip-1.3.0 ?
> From: Necmiye Ozay [ne...@um...]
> Sent: Wednesday, January 24, 2018 11:34 PM
> To: Mathur, Umang
> Cc: tu...@tu...; Fan, Chuchu
> Subject: Re: Errors in running TuLip
> 
> What version of TuLiP are you using? I can run it with TuLiP version 1.3. I have not tried it with the latest release not the current head of master branch.
> 
> Necmiye
> 
>> On Thu, Jan 25, 2018 at 12:27 AM, Mathur, Umang <uma...@il...> wrote:
>> Hi,
>> 
>> I am trying to run the attached file (shared by Necmiye).
>> I get the following error :
>> 
>> Traceback (most recent call last):
>> 
>>   File "continuous_reach_avoid.py", line 117, in <module>
>> 
>>     sys=disc_dynamics.ts, ignore_sys_init=True)
>> 
>>   File "/usr/local/lib/python2.7/site-packages/tulip/synth.py", line 1100, in synthesize
>> 
>>     ignore_sys_init)
>> 
>>   File "/usr/local/lib/python2.7/site-packages/tulip/synth.py", line 1205, in _spec_plus_sys
>> 
>>     _copy_options_from_ts(sys_formula, sys, specs)
>> 
>>   File "/usr/local/lib/python2.7/site-packages/tulip/synth.py", line 1234, in _copy_options_from_ts
>> 
>>     ts_spec.moore = cp.moore
>> 
>> AttributeError: 'str' object has no attribute 'moore'
>> 
>> 
>> It would be helpful to know what the problem is.
>> 
>> 
>> Regards,
>> Umang Mathur
>> CS PhD Student, UIUC
>> http://umathur3.web.engr.illinois.edu

-------------- next part --------------
An HTML attachment was scrubbed...