Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[tptp-news] Location editor - General properties available at test run-time

Hello,

 

I would like to know if it is possible (or, more exactly, how it’s possible) to have the properties added in the Location Editor -> General Properties available during test execution?

Is there any getGeneralProperties() or something like that that can be used inside the test?

 

Thanks in advance,

Adrian


Back to the top