experiment: ci-run

workload: rstar

strategy: proptest

property: MinSizeOneNoPanic

mode: solve

status: failed

tool: proptest


strategy: quickcheck

tool: quickcheck


strategy: crabcheck

tool: crabcheck


strategy: hegel

tool: hegel


property: BulkLoadSizeCorrect

status: aborted

error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known

thread 'main' (6695) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known

thread 'main' (6704) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known

thread 'main' (6718) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known

thread 'main' (6736) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known

thread 'main' (6755) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known

thread 'main' (6774) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known

thread 'main' (6789) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known

thread 'main' (6806) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known

thread 'main' (6827) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr: proptest: FileFailurePersistence::SourceParallel set, but no source file known

thread 'main' (6841) has overflowed its stack
fatal runtime error: stack overflow, aborting


status: passed


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr:
thread 'main' (6919) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr:
thread 'main' (6945) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr:
thread 'main' (6974) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr:
thread 'main' (6997) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr:
thread 'main' (7021) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr:
thread 'main' (7041) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr:
thread 'main' (7060) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr:
thread 'main' (7083) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr:
thread 'main' (7110) has overflowed its stack
fatal runtime error: stack overflow, aborting


error:
Process failed with status: signal: 6 (SIGABRT) (core dumped)
stderr:
thread 'main' (7138) has overflowed its stack
fatal runtime error: stack overflow, aborting


property: EmptyTreeQueryNoPanic