/ externals / biscuit / tests / src / assembler_zawrs_tests.cpp
assembler_zawrs_tests.cpp
 1  #include <catch/catch.hpp>
 2  
 3  #include <biscuit/assembler.hpp>
 4  
 5  #include "assembler_test_utils.hpp"
 6  
 7  using namespace biscuit;
 8  
 9  TEST_CASE("WRS.NTO", "[Zawrs]") {
10      uint32_t value = 0;
11      auto as = MakeAssembler64(value);
12  
13      as.WRS_NTO();
14      REQUIRE(value == 0x00D00073);
15  }
16  
17  TEST_CASE("WRS.STO", "[Zawrs]") {
18      uint32_t value = 0;
19      auto as = MakeAssembler64(value);
20  
21      as.WRS_STO();
22      REQUIRE(value == 0x01D00073);
23  }