Daniel Fava

The rewrite rule below will not fire unless the ```...``` between ```select ... selBranch``` is the same between both of the goRoutine cells. In other words, the ```...``` with the...

Adding <s></s> to a configuration causes krun to throw an exception

1

Adding `` to a configuration causes krun to throw an exception. That happens, I believe, because `` is defined in domains.k. So, a user defined `` seems to override the...

krun prints out the following warnings when taking the size of a list containing a single element: ``` [Warning] Critical: failed to translate smtlib expression: (assert (and (= (> (smt_seq_len...

Non-ascii character in comment later leads to krun crash

1

Ran kompile on a simple definition which contained a non-ascii character on a comment. The compilation succeeded, but a subsequent krun caused a crash. (see https://lists.cs.illinois.edu/lists/arc/k-user/2017-02/msg00027.html) The non-ascii character are...