search

kframework / kweb

Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/
5 stars 5 forks source link

KRun fails with message about device being full #10

Closed adamsmd closed 11 years ago

adamsmd commented 11 years ago

kompiling 1_k/1_lambda/lesson_1/lambda.k and then krunning 1_k/1_lambda/lesson_1/identity.lambda produces the following error.

Running command: krun identity.lambda [Error] Critical: Error while generating unique directory name:No space left on device ----- End of process output.

A quick check of the var partition on fslweb shows it to be full which may be the cause of this.

pdaian commented 11 years ago

Sorry for the delay.

It's been fixed. My fault, had some old backups around that were quite large and cluttering the disk. Should be smooth sailing from here.

Thanks for the report and letting me know!