MartinNowack

@fredokun I didn't have time to come up with an appropriate solution. PR #14 builds the app but it is not tested beyond my computer. There are couple of general...

@fredokun I looked into the issue and built the package. I put the built package at: https://github.com/MartinNowack/TikZ-Editor/releases/tag/pre1.1 I think 90MB compressed is fine. I also tested it by uninstalling all...

@siefkenj I ported it to Qt5 using the currently latest version: QT 5.9. and python 3.6. But yes, I didn't test it with lower version. Hope that helps.

Well, to be honest: same architecture, different OS versions would be great. In addition, eventually, also for different versions of STP (modulo fixed bugs) with same argument set. Thanks a...

I gave it a quick try. Cherry-picked https://github.com/stp/stp/commit/d804c9753971e7fee28aa502e22fa6de50280f94 on top of 2.1.2, still it gives me random results: ``` # Query 1305 -- Type: InitialValues, Instructions: 3550554 array A-data[8] :...

@msoos: Please use PR https://github.com/klee/klee/pull/362 of KLEE and with the following command line arguments ``` klee -use-query-log=all:pc,solver:pc,solver:smt2 --simplify-sym-indices --max-memory=1024 --disable-inlining --optimize --use-cex-cache --libc=uclibc --posix-runtime --allow-external-sym-calls --environ=/tmp/ubuntu/klee-coreutils/test.env --max-sym-array-size=4096 ---max-memory-inhibit=false --max-static-fork-pct=1 --max-static-solve-pct=1...

Hi @msoos I could reduce the problem to stp and make it for you reproducible without KLEE: After a lot of trial and error, my theory was that the generated...

@msoos Thanks for all your effort! Also your *san-free effort. According to one valgrind issue, I tracked that one down with the PR #229 some time ago, still it doesn't...

@msoos: Well, sorry, the valgrind issue is fixed but not our original issue ;) We still have the problem that it generates different models depending on the allocation around it....

@humeafo You're right, this can be an issue if you use `--named-seed-matching` during replay but this is switched off by default. Otherwise, as @kren1 already mentioned, only the order in...