Updated NTI - Githubissues

TermCOMP / starexec-master

5 stars 15 forks source link

Closed etiennepayet closed 3 years ago

AkihisaYamada commented 3 years ago

Thanks Etienne! It looks like you put solver id but it wants config id. Can you fix that?

etiennepayet commented 3 years ago

Thanks Akihisa! I've just fixed it (I've created another pull request). Sorry for this mistake!