// S : tags   min c++
// S : expect --result valid
// S : cc     -o test.bc $file
// S : verify --capture $dir/small:follow:/ -o nofail:malloc test.bc

#include <dios.h>
#include <cstring>
#include <cassert>
#include <regex>
#include <sys/trace.h>

#include "vfs-capture-assert.h"

extern "C" void __dios_boot( const _VM_Env *env )
{
    std::set< std::string > expected({ "/", "/a" });

    auto context = new Context();
    __vm_trace( _VM_T_StateType, context );
    __vm_ctl_set( _VM_CR_State, reinterpret_cast< void * >( context ) );
    __vm_ctl_set( _VM_CR_Scheduler, reinterpret_cast< void * >( passSched ) );

    auto names = collectVfsNames( env );
    bAss( names.second, context, "Multi-capture of an object" );
    for ( const auto& item : expected )
        __dios_trace_f( "E: %s", item.c_str() );

    bAss( names.first == expected, context, "Different files captures" );
    __vm_suspend();
}