gib# out run test/sim/call-dbg.sh
gib# cmd /usr/bin/env
gib#     srcdir=/home/xrockai/src/divine/nightly
gib#     PATH=/home/xrockai/src/divine/nightly/test/lib:/usr/bin:/bin:/opt/klee/bin
gib#     sh
gib#     /home/xrockai/src/divine/nightly/test/sim/call-dbg.sh
compiling file.cpp
In file included from file.cpp:2:
In file included from /dios/sys/debug.hpp:24:
In file included from /dios/include/util/map.hpp:5:
In file included from /home/xrockai/src/divine/nightly/bricks/brick-compact:27:
In file included from /home/xrockai/src/divine/nightly/bricks/brick-assert:21:
In file included from /home/xrockai/src/divine/nightly/bricks/brick-trace:25:
/home/xrockai/src/divine/nightly/bricks/brick-min:285:14: error: 'operator<=' cannot be the name of a variable or data member
        bool operator<=>( const unit_t & ) const = default;
             ^
/home/xrockai/src/divine/nightly/bricks/brick-min:285:24: error: expected ';' at end of declaration list
        bool operator<=>( const unit_t & ) const = default;
                       ^
/home/xrockai/src/divine/nightly/bricks/brick-min:433:33: error: 'auto' not allowed in function prototype
    auto const_ref_tuple( const auto & ... xs )
                                ^~~~
/home/xrockai/src/divine/nightly/bricks/brick-min:433:40: error: type 'int &' of function parameter pack does not contain any unexpanded parameter packs
    auto const_ref_tuple( const auto & ... xs )
                          ~~~~~~~~~~~~~^~~~~~
4 errors generated.
ERROR: Error building file.cpp
Terminated