search

izlatkin / HornLauncher

scripts and reports for executions seahorn and test generation
0 stars 0 forks source link

[Abort trap: 6] for c/loops/trex02-1.c #16

Closed izlatkin closed 2 years ago

izlatkin commented 3 years ago

For https://github.com/sosy-lab/sv-benchmarks/blob/master/c/loops/trex02-1.c trex02-1.smt2.txt

tg returns Abort trap: 6

/Users/ilyazlatkin/PycharmProjects/aeval/build/tools/tg/tg --keys 910,7482 trex02-1.smt2 outgs from main@_shadow.mem.0.0: (0) -> main@.split (1) -> main@_shadow.mem.0.0 Assertion failed: (q->precond->left() == q->iter), function initializeAux, file /Users/ilyazlatkin/PycharmProjects/aeval/include/deep/RndLearnerV3.hpp, line 1570. Abort trap: 6

izlatkin commented 2 years ago

fixed