kcc error about missing class about c-semantics HOT 4 CLOSED

Oh, that's a bug. It has to do with the way we're dumping configurations when a program fails. You should be able to fix it by enabling the kserver, which will conveniently also make kcc much faster. You do this by running the "kserver" command in another window while the kframework is in your path.

I am in meetings for the rest of the day but I will fix this tomorrow, and it will probably go live on Friday.

from c-semantics.

Thanks! On enabling the kserver and compiling, the message about the missing class is gone, but I still get translation failed. I'm guessing it didn't generate the binary because kcc determined that this program has undefined behavior?

from c-semantics.

That's correct. The open source version of the C semantics cannot recover
from errors: if your program has undefined behavior, it will report the
error and then stop.

On Sep 21, 2016 4:00 PM, "Faraz Hussain" [email protected] wrote:

Thanks! On enabling the kserver and compiling, the message about the
missing class is gone, but I still get translation failed. I'm guessing it
didn't generate the binary because kcc determined that this program has
undefined behavior?

—
You are receiving this because you were assigned.
Reply to this email directly, view it on GitHub
#257 (comment),
or mute the thread
https://github.com/notifications/unsubscribe-auth/AE3jna6WZLdkm39ij7lSyPEXB7VD0B1xks5qsZrygaJpZM4KDNa-
.

from c-semantics.

Thanks!

from c-semantics.