Sorry, it's not a segfault, it's an assertion error. I do, however, get on
if I do the following:

*      X←1 2 2 1 2 2 2 1 2 2 2 2 1 2 2 2 2 2 1 3*
*      V←X ◊ (V/V)←∊≠\¨V⊂V*


====================================================
SEGMENTATION FAULT

----------------------------------------
-- Stack trace at main.cc:119
----------------------------------------
0x7fafc4a02de5 __libc_start_main
0x434b6d  main
0x52059d   Workspace::immediate_execution(bool)
0x46291d    Command::process_line()
0x46181b     Command::process_line(UCS_string&)
0x46a7e8      Executable::execute_body() const
0x4df3a0       StateIndicator::run()
0x48c98a        Prefix::reduce_statements()
0x4899db         Prefix::reduce_A_ASS_B_()
0x518e5d          Value::assign_cellrefs(Value_P)
0x459dbb           Cell::init(Cell const&)
0x7fafc625cbb0
0x47978a
========================================
====================================================

Regards,
Elias


On 21 March 2014 19:25, Elias Mårtenson <loke...@gmail.com> wrote:

> I was testing Kacpers solution to my problem in another thread, and I got
> a crash. Easily reproduced by typing in the following two commands:
>
> *      V←1 2 2 1 2 2 2 1 2 2 2 2 1 2 2 2 2 2 1 3*
> *      (V/V)←∊≠\¨V⊂V*
>
> The result is:
>
>
> ==============================================================================
> Assertion failed: 0
> in Function:      init
> in file:          Cell.cc:48
>
> Call stack:
>
> ----------------------------------------
> -- Stack trace at Cell.cc:48
> ----------------------------------------
> 0x7f1b6ee6dde5 __libc_start_main
> 0x434b6d  main
> 0x52059d   Workspace::immediate_execution(bool)
> 0x46291d    Command::process_line()
> 0x46181b     Command::process_line(UCS_string&)
> 0x46a7e8      Executable::execute_body() const
> 0x4df3a0       StateIndicator::run()
> 0x48c98a        Prefix::reduce_statements()
> 0x4899db         Prefix::reduce_A_ASS_B_()
> 0x518e5d          Value::assign_cellrefs(Value_P)
> 0x459e01           Cell::init(Cell const&)
> 0x44328f            do_Assert(char const*, char const*, char const*, int)
> ========================================
>
> SI stack:
>
> Depth:    0
> Exec:     0x213e3f0
> Pmode:    ◊  (V/V)←∊≠\¨V⊂V
> PC:       13 ENDL
> Stat:     (V/V)←∊≠\¨V⊂V
> err_code: 0x0
> thrown:   at StateIndicator.cc:40
> e_msg_1:  'No Error'
> e_msg_2:  ''
> e_msg_3:  ''
>
>
>
> ==============================================================================
>
> Regards,
> Elias
>

Reply via email to