[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Re: BUG: Can not use TLAPS in TLA+ Toolbox 1.6.0 when TLAPS installed in ~/opt

Hi, also in this case the Toolbox is not able to find tlapm, I encounter the same problem:

$ echo $PATH
/home/ivstojic/bin:/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games:/home/ivstojic/opt/TLAPS/tlaps/bin/
$ which tlapm
/home/ivstojic/opt/TLAPS/tlaps/bin//tlapm
$ tlapm --version
1.4.3 (build 34695)
$ /home/ivstojic/opt/TLAToolbox/toolbox/toolbox 
SLF4J: Class path contains multiple SLF4J bindings.
SLF4J: Found binding in [bundleresource://258.fwk1074389766:1/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: Found binding in [bundleresource://258.fwk1074389766:2/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: See http://www.slf4j.org/codes.html#multiple_bindings for an explanation.
SLF4J: Actual binding is of type [org.slf4j.helpers.NOPLoggerFactory]

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.577: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.577: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.577: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.577: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.578: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.578: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.583: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.583: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.583: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.583: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.583: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.583: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.583: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.583: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.583: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.583: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.583: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.583: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.583: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.583: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.583: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.583: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.585: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.585: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.585: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.585: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.585: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.586: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.586: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.586: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.586: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.586: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.586: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.586: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.586: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.586: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.586: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.586: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.586: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.586: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.586: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.586: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.593: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.593: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.593: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.593: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.593: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): GLib-CRITICAL **: 10:06:17.593: g_base64_encode_step: assertion 'in != NULL' failed

(TLA+ Toolbox:10741): Gtk-CRITICAL **: 10:06:19.707: gtk_box_gadget_distribute: assertion 'size >= 0' failed in GtkScrollbar

(TLA+ Toolbox:10741): Gtk-CRITICAL **: 10:06:20.041: gtk_box_gadget_distribute: assertion 'size >= 0' failed in GtkScrollbar
$


--
Le informazioni contenute nella presente comunicazione sono di natura privata e come tali sono da considerarsi riservate ed indirizzate esclusivamente ai destinatari indicati e per le finalità strettamente legate al relativo contenuto. Se avete ricevuto questo messaggio per errore, vi preghiamo di eliminarlo e di inviare una comunicazione all’indirizzo e-mail del mittente.
--
The information transmitted is intended only for the person or entity to which it is addressed and may contain confidential and/or privileged material. If you received this in error, please contact the sender and delete the material.

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/8efcd38a-58fb-4a07-b73c-ecce1fda3949%40googlegroups.com.