search

mondokm / ltlverif

0 stars 2 forks source link

Fix bad compare of locations #6

Open ghost opened 4 years ago

ghost commented 4 years ago

Fixes #5