Spot August 2015

spot@lrde.epita.fr

3 participants
2 discussions

SPOT error in make check
by Christopher Ziegler 24 Aug '15

24 Aug '15

Hello Ladies and Gentlemen, I used your program (SPOT) on Ubuntu 12.4. 32bit, configured it with the two parameters --disable-python and --prefix=/home/my_username (for which I don't need any sudo priviliges to read/write. Then I did make check and the program reported the following: See src/tests/test-suite.log Please report to spot(a)lrde.epita.fr However, I ran make install afterwards, and tried the program and it seems to work. But when I tried to do the same (last week or so), I didn't use the --prefix parameter and I got an error, when I tried to start the program: it said: "error while loading shared libraries: libspot.so.0: cannot open shared object file: No such file or directory" I also include the src/tests/test-suite.log in the attachment. I hope this helps you finding a bug or something. Since the program works for me now, I just wrote you because it said "Please report to spot@..." . If you need more information (for example, which compiler I used etc.) you can write me back. Regards, Christopher Ziegler

2 2

Bug Report
by Oscar Chang 05 Aug '15

05 Aug '15

If you enter (FGa)||(FGb) and tick the option for the degeneralized buchi automaton, it still gives a generalised one.

2 1

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Spot August 2015