This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

An unexpected error occurred. This could be a temporary problem, or some code is behaving incorrectly. If this problem persists, please email this page to marius@cs.aau.dk with details of what you were doing at the time this message appeared.

URL: https://bugsy.grid.aau.dk/bugzilla/reports.cgi

Unable to open the chart datafile ./data/mining/0.

Traceback:

 at /usr/share/bugzilla/reports.cgi line 126.
	main::get_data(...) called at /usr/share/bugzilla/reports.cgi line 56