search

stg-tud / MUBench

Other
54 stars 30 forks source link

MUBench currently unusable #446

Closed LamotheMax closed 4 years ago

LamotheMax commented 4 years ago

MUBench is currently unusable because the artifact server is down. It is not currently possible to load detectors.

image

salsolatragus commented 4 years ago

Hi @LamotheMax,

thanks for reporting this issue. The artifact page is up again.