alarm benchmark broken - Githubissues

Barnard-PL-Labs / tsltools

Library and tools for the TSL specification format

Other

7 stars 4 forks source link

alarm benchmark broken #52

Open santolucito opened 1 year ago

santolucito commented 1 year ago

https://github.com/Barnard-PL-Labs/tsltools/blob/e2608d780a77ba2a707a78327107abfe6c28a6bd/src/test/res/specs/Alarm.tsl#L1

returns an empty solution - need to find out why