egunter

NullPointerException

6

bash-3.2$ kompile --debug mp2.k java.lang.NullPointerException at scala.collection.convert.Wrappers$SetWrapper$$anon$4.(Wrappers.scala:115) at scala.collection.convert.Wrappers$SetWrapper.iterator(Wrappers.scala:114) at java.util.AbstractCollection.addAll(AbstractCollection.java:343) at org.kframework.Collections$.mutable(collections.scala:28) at org.kframework.Collections.mutable(collections.scala) at org.kframework.kore.compile.SortCells.nthArgSort(SortCells.java:858) at org.kframework.kore.compile.SortCells.access$800(SortCells.java:58) at org.kframework.kore.compile.SortCells$3.apply(SortCells.java:563) at org.kframework.kore.compile.SortCells$3.apply(SortCells.java:548) at org.kframework.kore.KTransformer$class.apply(transformers.scala:11) at org.kframework.kore.AbstractKTransformer.apply(transformers.scala:112) at org.kframework.kore.TransformK.apply(TransformK.java:39) at...

java.lang.AssertionError: unexpected concatenated termorg.kframework.backend.java.kil.Bottom@107f4980

2

I will give you may files, but it doesn't accept .k files, so I have renamed then .txt files. [arith.txt](https://github.com/kframework/k/files/166406/arith.txt) [bool.txt](https://github.com/kframework/k/files/166407/bool.txt) [arithbool.txt](https://github.com/kframework/k/files/166408/arithbool.txt) [simp3.txt](https://github.com/kframework/k/files/166412/simp3.txt) [test.txt](https://github.com/kframework/k/files/166413/test.txt) # # stack trace below here...

Can't find a directory

7

bash-3.2$ pwd /Users/elsa/courses/cs422/sp2016/students/_class/_private/lectures/5 bash-3.2$ ls -d int-kompiled/ int-kompiled/ bash-3.2$ ls test.int test.int bash-3.2$ krun --directory "/Users/elsa/courses/cs422/sp2016/students/_class/_private/lectures/5/int-kompiled/" test.int [Error] Critical: Could not find a compiled definition. Use --directory to specify one....