ehildenb
commented
4 years ago - Output length of each execution for quickly seeing whether it was a trivial non-execution or actually a good trace.
- More graceful failure when rule merging fails.
- ~Add timeout option to various function calls (note this won't actually do anything until kframework/k#1342 gets merged).~ This will be added in a later PR.
hjorthjort