Comments (2)
Plus: this seems to be an incorrect stack frame. If you compile ltsmin with
-O0 and -g then you see a different frame which is probably the right one.
Note also that the segfault may occur at a random level if you do not use
those options.
Op 15 okt. 2014 15:24 schreef "Dennis Guck" [email protected]:
Executing mapa2lts-* results into a segfault under Arch Linux. This is my
output by gdb:[...]
mapa2lts-dist: No output, just counting the number of states
mapa2lts-dist: level 0 has 1 states, explored 0 states 0 transitions
mapa2lts-dist: reward label 0=Program received signal SIGSEGV, Segmentation fault.
dm_project_vector (m=0x69b780 , row=4, src=src@entry=0x1, tgt=tgt@entry=0x7fffffff9960)
at dm.c:1377
1377 tgt[k++] = src[i];
(gdb) bt
#0 dm_project_vector (m=0x69b780 , row=4, src=src@entry=0x1, tgt=tgt@entry=0x7fffffff9960)
at dm.c:1377
#1 #1 0x000000000042d6c2 in
project_dest (context=0x7fffffffdbc0, ti=0x7fffffff99e0, dst=0x1, cpy=0x0)
at pins.c:140
#2 0x0000000000407a25 in prcrl_callback () at mapa-pins.c:170
#3 0x00007ffff7a268da in cdjp_info () from
/usr/local/lib/ltsmin-2.0/libscoop.so
#4 0x0000000000000004 in ?? ()
#5 0x00007ffff2416d30 in ?? ()
#6 0x00007ffff4723fc0 in ?? ()
#7 0x00007ffff6215672 in stg_newPinnedByteArrayzh () from
/usr/lib/ghc-7.8.3/rts-1.0/libHSrts_thr-ghc7.8.3.so
#8 0x0000ff000000ff00 in ?? ()
#9 0x0000000000000000 in ?? ()
(gdb) bt
#0 dm_project_vector (m=0x69b780 , row=4, src=src@entry=0x1, tgt=tgt@entry=0x7fffffff9960)
at dm.c:1377
#1 #1 0x000000000042d6c2 in
project_dest (context=0x7fffffffdbc0, ti=0x7fffffff99e0, dst=0x1, cpy=0x0)
at pins.c:140
#2 0x0000000000407a25 in prcrl_callback () at mapa-pins.c:170
#3 0x00007ffff7a268da in cdjp_info () from
/usr/local/lib/ltsmin-2.0/libscoop.so
#4 0x0000000000000004 in ?? ()
#5 0x00007ffff2416d30 in ?? ()
#6 0x00007ffff4723fc0 in ?? ()
#7 0x00007ffff6215672 in stg_newPinnedByteArrayzh () from
/usr/lib/ghc-7.8.3/rts-1.0/libHSrts_thr-ghc7.8.3.so
#8 0x0000ff000000ff00 in ?? ()
#9 0x0000000000000000 in ?? ()—
Reply to this email directly or view it on GitHub
#1.
from ltsmin.
We have merged Stefan's commits. This is fixed now.
from ltsmin.
Related Issues (20)
- Uninitialized memory HOT 1
- More memory issues HOT 1
- dlopen is not MT-safe => protect calls to RTdlopen
- Wrong answer when model checking mucalc with pins2lts-sym HOT 1
- PINS loader doesn't work with recompiled version of LTSmin HOT 1
- Version 3.1 windows support, time to test and performance HOT 3
- Defaults for symbolic tool
- man pages are behind
- --filter=action_labels
- Building LTSmin before installing Sylvan blocks ./configure from finding Sylvan afterwards
- Update LTSmin for newest version of Sylvan
- Tests fail when BuDDy is installed
- Bug in TGBA mode for LTL
- Build issue on NetBSD HOT 3
- Add examples to assets
- missing instructions for LTSmin installation for end-users HOT 1
- Installation instructions step by step
- Can ltsmin read the SMV format file? HOT 1
- Issues with LTL traces in MT context HOT 5
- make & make install error: multiple definitions for "rank" and "scc_stack" HOT 9
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from ltsmin.