search

tacle / tacle-bench

TACLe Benchmarks
41 stars 38 forks source link

Fix statemate test (fixes #25) #26

Closed schirmeier closed 3 years ago

schirmeier commented 3 years ago

See issue #25.