Not able to read data from smart contracts

Question

I am doing PoC on Ethereum using Azure Ethereum network and Web3. I was working from last 1 month and I have created one smart contract for student management and that was working like fab. But for some reason I have deleted my Azure Ethereum network and created a new one. I have followed all the steps which I did previously, but its showing error in formal verification section like

Error: Type int256 not supported for state variable

The same smart contract code was working fine previously. Transactions are happening from Metamask but I cant read the data from functions so I am able to figure our where the exact issue is?

~pragma solidity ^0.4.9;
contract SimpleTest {
    int public count;

    function IncCounter()
    {
        count++;
    }

    function GetCounter() constant returns(int)
    {
        return count;
    }
}

I have searched for this issue but didn't find anything valuable, can someone please help me understand the exact issue and how to resolve it quickly.

Answer 1

It sounds like a compiler error (I have no idea what is "formal verification section").

Most likely Solidity compiler has been upgraded to a newer version that comes with stricter checks.

However it is impossible to tell unless you include your contract source code and actual errors in the question. Please edit the question and use Markdown code formatting capabilities to add the necessary details.

Answer 2

Your contract code works fine:

your variable count is public anyways. you can just try using the automatic getter SimpleTestInstance.count() my guess the problem you had was with uint and int. Remember that int or uint stands for uint256 and int256. So depending on the type signatures of your contracts, it may be wrong.

link to fiddle: https://ethfiddle.com/C6ARx6vyyo