Preprocessing semantics:
[Error] Internal: Uncaught exception thrown of type AssertionError.
Please rerun your program with the --debug flag to generate a stack trace, and
file a bug report at https://github.com/kframework/k/issues
Execution semantics:
Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x00000000d8200000, 302514176, 0) failed; error='Cannot allocate memory' (errno=12)
There is insufficient memory for the Java Runtime Environment to continue.
Native memory allocation (mmap) failed to map 302514176 bytes for committing reserved memory.
An error report file with more information is saved as:
/home/harshita/java-semantics/src/hs_err_pid6100.log
OK, I am copying 20harshita's issue here
harshita@harshita-VPCEH25EN:~/java-semantics/src$ kjkompile.sh
Preprocessing semantics: [Error] Internal: Uncaught exception thrown of type AssertionError. Please rerun your program with the --debug flag to generate a stack trace, and file a bug report at https://github.com/kframework/k/issues
Execution semantics: Java HotSpot(TM) 64-Bit Server VM warning: INFO: os::commit_memory(0x00000000d8200000, 302514176, 0) failed; error='Cannot allocate memory' (errno=12)
There is insufficient memory for the Java Runtime Environment to continue. Native memory allocation (mmap) failed to map 302514176 bytes for committing reserved memory. An error report file with more information is saved as: /home/harshita/java-semantics/src/hs_err_pid6100.log