Google Groups | Jaak Ristioja | 2 years ago
Click on the to mark the solution that helps you, Samebug will learn from it.
As a community member, you’ll be rewarded for you help.
  1. 0

    PlusCal sometimes not working in TLA+ Toolbox

    Google Groups | 2 years ago | Jaak Ristioja
  2. 0

    pcal.trans error not shown in IDE

    Google Groups | 2 years ago | Yan Li
    java.lang.ArrayIndexOutOfBoundsException: -1

    Root Cause Analysis

    1. java.lang.ArrayIndexOutOfBoundsException

      No message provided

      at pcal.PcalFixIDs.FixMultiprocess()
    2. pcal
      1. pcal.PcalFixIDs.FixMultiprocess(
      1 frame