test_name once-manifest-string
test_description Implementation of once manifest strings

-- .NET-specific settings: workaround for different inheritance hierarchy

if DOTNET define THREAD_CONTROL ""
if not DOTNET define THREAD_CONTROL "THREAD_CONTROL"

-- Single-threaded workbench C code

copy_sub Ace $TEST Ace
copy_raw test.e $CLUSTER test.e
copy_raw a.e $CLUSTER a.e
copy_raw b.e $CLUSTER b.e
copy_raw assertion_tester.e $CLUSTER assertion_tester.e

compile_frozen
compile_result ok

c_compile_work
c_compile_result ok

execute_work NONE exec_output_ws
execute_result ok

compare exec_output_ws output

-- Single-threaded finalized C code

cleanup_compile
compile_final
compile_result ok

c_compile_final
c_compile_result ok

execute_final NONE exec_output_fs
execute_result ok

compare exec_output_fs output

-- Single-threaded melted code

cleanup_compile
copy_raw test.e0 $CLUSTER test.e

compile_frozen
compile_result ok

c_compile_work
c_compile_result ok

copy_raw test.e $CLUSTER test.e

compile_melted
compile_result ok

execute_work NONE exec_output_ms
execute_result ok

compare exec_output_ms output

-- Multi-threaded workbench C code

cleanup_compile
copy_sub Ace_mt $TEST Ace
copy_sub test_mt.e $CLUSTER test_mt.e
copy_raw test_mt_root.e $CLUSTER test_mt_root.e
compile_frozen
compile_result ok

c_compile_work
c_compile_result ok

execute_work NONE exec_output_wm
execute_result ok

compare exec_output_wm output

-- Multi-threaded final C code

cleanup_compile
compile_final
compile_result ok

c_compile_final
c_compile_result ok

execute_final NONE exec_output_fm
execute_result ok

compare exec_output_fm output

-- Multi-threaded melted code

cleanup_compile
copy_raw test.e0 $CLUSTER test.e

compile_frozen
compile_result ok

c_compile_work
c_compile_result ok

copy_raw test.e $CLUSTER test.e

compile_melted
compile_result ok

execute_work NONE exec_output_mm
execute_result ok

compare exec_output_mm output

test_end