Test full configs on last year's tasks

ftsrg / theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

http://theta.inf.mit.bme.hu/

Apache License 2.0

49 stars 43 forks source link

Closed leventeBajczi closed 1 year ago

leventeBajczi commented 1 year ago

Hey, the deadline for this task has already passed. Is there any update on this issue @szdan97?

leventeBajczi commented 1 year ago

I think this has already been done. Please re-open if I'm mistaken.