# RUN: yaml2obj %s | not obj2yaml 2>&1 | FileCheck %s | |
--- !WASM | |
FileHeader: | |
Version: 0x00000001 | |
Sections: | |
- Type: CUSTOM | |
Name: producers | |
Languages: | |
- Name: C++ | |
Version: C++11 | |
- Name: C++ | |
Version: C++17 | |
... | |
# CHECK: producers section contains repeated producer |