Codelab and Code Boogie timeout when using the fallback java compiler
Jezzamonn opened this issue · 0 comments
Jezzamonn commented
Right now, the compilation fails because it times out. It's not obvious that that is the cause. Solution might be to just update the installation instructions to include instructions for installing the native version of the compiler.