solidity - 리믹스, 컴파일러 또는 openzeplin 버그입니까?

방금 openzeplin Safemath 라이브러리를 테스트하는 간단한 코드를 작성했습니다. ^ 0.5.0에 대한 최신 버전의 리믹스 IDE를 사용하고 컴파일 중입니다. 리믹스는 0.5.0_commit.1d4f565a 컴파일러를 사용하고 있습니다 환경은 JavaScript VM입니다 EVM 버전은 컴파일러 기본값입니다

추가 기능이 아래 코드에서 작동하지 않는 것 같습니다

x.sub (1)을 시도했지만 예상대로 예외가 발생합니다. x를 다른 값으로 초기화하려고 시도했지만 여전히 작동하지 않습니다.

pragma solidity ^0.5.0;
import "./SafeMath.sol";
contract SimpleStorage {
    using SafeMath for uint;
    uint x;
    event incremented(uint x);
    constructor() public{
        x=0;
    }
    function increment() public {
        x.add(1);
        emit incremented(x);
    }
    function get() external view returns (uint) {
        return x;
    }
}

예상 출력은 함수를 호출 할 때마다 하나씩 증가하지만 매번 같은 값을 얻습니다. 방출도 같은 값을 보여줍니다.